Goanna is an Eclipse plugin that does static analysis of C/C++ source code with model checking. It detects many instances of null pointer de-referencing, double free(), buffer overruns, uninitialized variables, and other common programming mistakes.
CoFlo is a source code analysis tool that generates and analyzes control flow graphs from C and C++ sources. Control flow graphs can be output in graphical or textual format.
shanal provides a modular framework for static analysis of scripts in bash, basic plugins for analysis, and a simple application which uses the framework.
A partition backup tool.
A job dispatching server.