Splint 3.1.1

Splint is a tool for statically checking C programs for security vulnerabilities and programming mistakes.Splint does many of the traditional lint checks including unused declarations, type inconsistencies, use before definition, unreachable code,...