Code Difference report
Null dereference verifier for Java Programs
A framework that translate name-based pointcut to analysis-based ones
The free open source scanning engine
Code Analysis Plugin for Eclipse Indigo
A tool to convert C++ definitions into XML
Moved to github
Tools For Testing SQL
Kammerjäger is a debugging tool with integrated correctness proving.