Open-source code analysis platform for C/C++/Java/Binary/Javascript
Support for manual parallelization of sequential C programs.
Sterling Integrator BP utilities
Describe and watch component structure of java programs
XJML 1.0 is a platform for Verification and Validation of Java classes