Wikipedia
QA-C
QA·C is a commercial static code analysis software tool produced by Programming Research Limited for the C language created in 1986.
This is the tool that was used to make the C source code measurements given in the book Safer C by Les Hatton.
QA·C can be used for quality assurance of C source code and checking the code for conformance to coding guidelines such as MISRA C. Other functionality includes the ability to calculate code metrics for projects with large code-bases.
The tools operate through an IDE designed to help maintain and understand old and new code using detailed cross references and a variety of graphical views. The tools can be used in command line too. Graphical IDE can be called to display the result.