Continuous inspection
Automated mass refactoring of source code
Open-source code analysis platform for C/C++/Java/Binary/Javascript
A static analyzer for Java, C, C++, and Objective-C
Program to translate source codes
Tool to detect and correct vulnerabilities in PHP web applications
Live Trace Visualization for Large Software Landscapes
Kammerjäger is a debugging tool with integrated correctness proving.