Checked C is an extension to C that lets programmers write C code
Static code analysis
An extensible multilanguage static code analyzer
Community-developed library for professional-quality creative coding
A source code analyzer built for surfacing features of interest
A source code analyzer
transfer text in diverse formats into specific xml parser-trees
Parsing, analyzing, and comparing source code across many languages
Translate java source into another language
Source Code Metrics Extraction tool
A c++ wrapper around HTML Tidy Lib
Kammerjäger is a debugging tool with integrated correctness proving.