[frozen] A library for computing cycles in graphs or in Java code.
Search TODO, FIXME and similar comments in project files.
Sonar plugin to analyze Broker ESQL-code
Software Modularization and Monitoring Tool
Maven OpenJPA Query Translator Plugin
Null dereference verifier for Java Programs
XJML 1.0 is a platform for Verification and Validation of Java classes
A tool to convert C++ definitions into XML
Moved to github