Continuous inspection
Automated mass refactoring of source code
A static analyzer for Java, C, C++, and Objective-C
A source code analyzer built for surfacing features of interest
PHP_Depend is an adaptation of the established Java development tool
Tool to detect and correct vulnerabilities in PHP web applications
The MARKet for Open Source
Dynamic Code Injection Tool for Objective-C
Benchmark code quality and measure Technical Debt of projects in Sonar
Code Difference report
The free open source scanning engine
Code Analysis Plugin for Eclipse Indigo
Kammerjäger is a debugging tool with integrated correctness proving.