Continuous inspection
PHP_Depend is an adaptation of the established Java development tool
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
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.