A code quality tool to enforce structural quality
Java lib to compute (code) deps, SCCs, and cycles (Johnson algorithm).
Eclipse Plugin to find unused Java code
Integrates Checkstye into the Eclipse IDE
Tool to detect and correct vulnerabilities in PHP web applications
Custom checks, filters and quickfixes for CheckStyle and Eclipse-CS
Live Trace Visualization for Large Software Landscapes
Benchmark code quality and measure Technical Debt of projects in Sonar
Null dereference verifier for Java Programs
Moved to github
Tools For Testing SQL
Kammerjäger is a debugging tool with integrated correctness proving.