Continuous inspection
The strictest and most opinionated python linter ever!
Automated mass refactoring of source code
A static analyzer for Java, C, C++, and Objective-C
Benchmark code quality and measure Technical Debt of projects in Sonar
Kammerjäger is a debugging tool with integrated correctness proving.