Open source and free source code static analyzer
Search TODO, FIXME and similar comments in project files.
A program to check source code for mispelings...
Utilities for AdLint the source code static analyzer
The free open source scanning engine
XJML 1.0 is a platform for Verification and Validation of Java classes
Moved to github
You can admin a SQL Server with php, like PHPMyAdmin for MySQL
Kammerjäger is a debugging tool with integrated correctness proving.