Automated mass refactoring of source code
A static source code analyser for Fortran 90 and C++
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.