splint: Splint (C programs checker)
splint: 
splint: Splint is a tool for statically  checking  C programs  for  security
splint: vulnerabilities and coding mistakes. With minimal effort, Splint can
splint: be used  as a better lint. If  additional effort is  invested adding
splint: annotations to programs, Splint can perform  stronger  checking than
splint: can be done by any standard lint.
splint: 
splint:                       http://www.splint.org
splint:                           WWW.SLACKY.IT
splint: PackaGer Gohanz