Java lib to compute (code) deps, SCCs, and cycles (Johnson algorithm).
Eclipse Plugin to find unused Java code
Integrates Checkstye into the Eclipse IDE
Custom checks, filters and quickfixes for CheckStyle and Eclipse-CS
Search TODO, FIXME and similar comments in project files.
Benchmark code quality and measure Technical Debt of projects in Sonar
Null dereference verifier for Java Programs
Moved to github
Kammerjäger is a debugging tool with integrated correctness proving.