lint - statically checking C programs

lint - a tool for statically checking C programs for security vulnerabilities and coding mistakes.

http://en.wikipedia.org/wiki/Lint_%28software%29
http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis