Automated mass refactoring of source code
A static analyzer for Java, C, C++, and Objective-C
Please go to the GitHub page for more information
Free SLOC counts physical lines of code (SLOC) for many languages
GUI for finding duplicates in source files
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.