Automated mass refactoring of source code
A static analyzer for Java, C, C++, and 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.