Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes. With minimal effort, Splint can be used as a better lint. If additional effort is invested adding annotations to programs, Splint can perform stronger checking than can be done by any standard lint. This is the OS/2 port of the program, it was originally written for Unix systems.
Program URL: http://www.splint.org
http://hobbes.nmsu.edu/cgi-bin/h-search?key=splint-3.0.1.6.zip
Source: OS2VOICE