Checked C is an extension to C that lets programmers write C code
A static analyzer for Java, C, C++, and Objective-C
The .NET Compiler Platform
C++, Java IDE with auto class, sequence, zone, dependency, diagrams
Powerfull & Simple Multilanguage IDE Independent Compiler & Debugger
C++ analysis IDE with auto class, sequence, zone, dependency, diagrams
Kammerjäger is a debugging tool with integrated correctness proving.