Automated mass refactoring of source code
A static analyzer for Java, C, C++, and Objective-C
Free SLOC counts physical lines of code (SLOC) for many languages
A static source code analyser for Fortran 90 and C++
Benchmark code quality and measure Technical Debt of projects in Sonar
Kammerjäger is a debugging tool with integrated correctness proving.