Checked C is an extension to C that lets programmers write C code
Command line tool for counting source code lines
Just another manual code analysis tool and static analysis tool.
An analysis tool showing the structure of a C program
An advanced cross platform fuzzing framework suited to find code bugs.
A developer tool to rapidly compare sources tree
Detector of Integer Vulnerabilities in Software Portability