Reformats Java source code to comply with Google Java Style
Automated mass refactoring of source code
An extensible multilanguage static code analyzer
A static analyzer for Java, C, C++, and Objective-C
Benchmark code quality and measure Technical Debt of projects in Sonar
Maven OpenJPA Query Translator Plugin
Kammerjäger is a debugging tool with integrated correctness proving.