A source code analyzer
Ada source code controller
transfer text in diverse formats into specific xml parser-trees
Program to translate source codes
Makes a C function call tree as Graphviz DOT file from CScope output.
A c++ wrapper around HTML Tidy Lib
Kammerjäger is a debugging tool with integrated correctness proving.