C and C++ control flow graph generator and analyzer
Object conversion for an object-oriented world.
Disassemble python byte compiled file for python 2.x
Remove Comments from source code.
A framework that translate name-based pointcut to analysis-based ones
Check for unused #includes in C++ source
KDD: Kernel Data Disambiguation Tool
XJML 1.0 is a platform for Verification and Validation of Java classes
You can admin a SQL Server with php, like PHPMyAdmin for MySQL