Finds vulnerabilities in C/C++ source code
An advanced cross platform fuzzing framework suited to find code bugs.
C preprocessor magick
Automatic correction of software bugs and grammar mistakes
A model-based test automation framework for GUI applications
MOVED TO GITHUB. Code here is STALE.