Splint developers.

Free
A tool for statically checking C programs for security vulnerabilities