Checked C is an extension to C that lets programmers write C code
Static code analysis
A source code analyzer built for surfacing features of interest
An extensible multilanguage static code analyzer
Community-developed library for professional-quality creative coding
Promises for Swift & ObjC
A source code analyzer
The .NET Compiler Platform
transfer text in diverse formats into specific xml parser-trees
Parsing, analyzing, and comparing source code across many languages
C++, Java IDE with auto class, sequence, zone, dependency, diagrams
C++ analysis IDE with auto class, sequence, zone, dependency, diagrams
Object Oriented Parser Generator
A c++ wrapper around HTML Tidy Lib
Kammerjäger is a debugging tool with integrated correctness proving.