Eclipse Plugin to find unused Java code
Support for manual parallelization of sequential C programs.
Template for AspectJ, by which you can trace back the method call.
Concern Mining
A static source code analyser for Fortran 90 and C++
[frozen] A library for computing cycles in graphs or in Java code.
A library for monitoring the garbage collection of app objects
Maven OpenJPA Query Translator Plugin
Null dereference verifier for Java Programs
A framework that translate name-based pointcut to analysis-based ones
XJML 1.0 is a platform for Verification and Validation of Java classes
Code Analysis Plugin for Eclipse Indigo