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