Software Modularization and Monitoring Tool
Maven OpenJPA Query Translator Plugin
Code Difference report
Null dereference verifier for Java Programs
The free open source scanning engine
Code Analysis Plugin for Eclipse Indigo
XJML 1.0 is a platform for Verification and Validation of Java classes
A tool to convert C++ definitions into XML
Moved to github