Static source code analysis tool for C and C++ code
Ada source code controller
Eclipse Plugin to find unused Java code
An advanced cross platform fuzzing framework suited to find code bugs.
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
Moved to github
Kammerjäger is a debugging tool with integrated correctness proving.