Continuous inspection
Open-source code analysis platform for C/C++/Java/Binary/Javascript
Automated mass refactoring of source code
A static analyzer for Java, C, C++, and Objective-C
Code security review tool for C/C++, C#, VB, PHP, Java, PL/SQL, COBOL.
Translate java source into another language
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.