An advanced cross platform fuzzing framework suited to find code bugs.
Support for manual parallelization of sequential C programs.
Detector of Integer Vulnerabilities in Software Portability
C and C++ control flow graph generator and analyzer
OSSDPI is collects information of the open source software.