GNU Nana

Library of many tested, proven methods to raise reliability of C & C++ code. Includes: extended logging, assertion checking, Design by Contract: DbC. Supports realtime measurements, making performance statistics for code fragments, and tracing program execution without modifying code.