Eclipse Plugin to find unused Java code
Support for manual parallelization of sequential C programs.
Sterling Integrator BP utilities
C++, Java IDE with auto class, sequence, zone, dependency, diagrams
Describe and watch component structure of java programs
Tool to detect and correct vulnerabilities in PHP web applications
A library for monitoring the garbage collection of app objects
Null dereference verifier for Java Programs
XJML 1.0 is a platform for Verification and Validation of Java classes