A source code analyzer
Eclipse Plugin to find unused Java code
Integrates Checkstye into the Eclipse IDE
Describe and watch component structure of java programs
An extension for BlueJ that counts logical lines of code.
Custom checks, filters and quickfixes for CheckStyle and Eclipse-CS
A Java-written extractor for all your Thymeleaf localization strings
Search TODO, FIXME and similar comments in project files.
XJML 1.0 is a platform for Verification and Validation of Java classes
Moved to github
Kammerjäger is a debugging tool with integrated correctness proving.