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