NoBug 0.3rc1 (Snapshot branch)


 
Thread Tools Search this Thread
Special Forums News, Links, Events and Announcements Software Releases - RSS News NoBug 0.3rc1 (Snapshot branch)
# 1  
Old 04-03-2008
NoBug 0.3rc1 (Snapshot branch)

NoBug is a library which provides assertions, logging statements, and annotations for C and C++ programs. It includes pre-/post-condition and invariant checks, as well as generic assertions. Checks are enabled based on build-levels and scope tags. It also includes debugger support (valgrind), dumping of data structures, logging your application's activities, runtime customizable logging via environment variables, different logging targets (ringbuffer, stderr, syslog, debugger, etc.), and annotation of your source code regarding known bugs, things to do, and planned things. It can track resources and detect deadlocks.License: GNU General Public License (GPL)Changes:
The environment variable parser for runtime configuration was completed, and passing of options for creating log files or ring buffers is now implemented. A hook for application defined logging was added. A tool to dump ring buffer content as a log was included. Logging output contains now an event counter. The license was changed to GPLv2 or any later.Image

More...
Login or Register to Ask a Question

Previous Thread | Next Thread
Login or Register to Ask a Question
DI(3)							     Library Functions Manual							     DI(3)

NAME
DI - verify assertions in C and C++ code using gdb(1) SYNOPSIS
#include <DI.h> DI(exprn) DIG(exprn,guard) DIH(exprn,handler) DIP(exprn,param) DIGH(exprn,guard,handler) DIHP(exprn,handler,param) DIGHP(exprn,guard,handler,param) DS(exprn) DESCRIPTION
The DI(exprn) checks that the exprn is true in the same way as assert(3). It is however implemented by generating debugger commands from the source code and so only works if you run the command under a debugger after source the command file generated by nana(1). exprn - the expression to be checked. guard - the expression is normally only checked if the guard is true. handler - a macro which generates the code that handles the error condition. param - a parameter which can be passed off to the handler. This can be used for identifying the assertion failure in a space-efficent man- ner, e.g. by copying it into a register before aborting. See nana.info for details on configuring the behaviour on error detection, etc. You also need to include the nana library by using -lnana if you use the default setup. In addition to the DI, DIG, etc DI.h also provides DN, DNG, etc which are used to check that an expression is never true. SEE ALSO
nana-clg(1), nana(1), nana(3), I(3), L(3), DL(3), Q(3) and nana.info. The nana.info file is the primary documentation for this library. AUTHOR
Phil Maker <pjm@gnu.org> DI(3)