Automated mass refactoring of source code
An extensible multilanguage static code analyzer
A static analyzer for Java, C, C++, and Objective-C
Benchmark code quality and measure Technical Debt of projects in Sonar
Maven OpenJPA Query Translator Plugin
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.