Software Modularization and Monitoring Tool
Code Difference report
Maven OpenJPA Query Translator Plugin
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