Integrates Checkstye into the Eclipse IDE
Java Bytecode Viewer & Decompiler
Live Trace Visualization for Large Software Landscapes
Benchmark code quality and measure Technical Debt of projects in Sonar
Kammerjäger is a debugging tool with integrated correctness proving.