Continuous inspection
Open-source code analysis platform for C/C++/Java/Binary/Javascript
Automated mass refactoring of source code
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.