Tools

Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes.

Source-highlight, given a source file, produces a document with syntax highlighting. [Open source, GPL]

Cxref is a C source code cross referencing and documenting program for UNIX, written by Andrew M. Bishop. Cxref makes both html and latex style document.