New Debugging Software for David Evans

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,...