Automated mass refactoring of source code
Software Metrics Analyzer for C,C++,Java Programs
The MARKet for Open Source
A library for monitoring the garbage collection of app objects
Benchmark code quality and measure Technical Debt of projects in Sonar
Code Difference report
Null dereference verifier for Java Programs
The free open source scanning engine
XJML 1.0 is a platform for Verification and Validation of Java classes
Code Analysis Plugin for Eclipse Indigo
Tools For Testing SQL
Kammerjäger is a debugging tool with integrated correctness proving.