A library for monitoring the garbage collection of app objects
Software Modularization and Monitoring Tool
Null dereference verifier for Java Programs
The free open source scanning engine
XJML 1.0 is a platform for Verification and Validation of Java classes