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
Benchmark code quality and measure Technical Debt of projects in Sonar
Kammerjäger is a debugging tool with integrated correctness proving.