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