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

Available in debian

#apt-get install splint

Visit Splint.org