| |||||||||
Splint, short for Secure Programming Lint, is a programming tool for statically checking C programs for security vulnerabilities and coding mistakes. Formerly called LCLint. It is a modern version of the Unix lint tool.
It has the ability to interpret special annotations to the source code, which gives it stronger checking than is possible just by looking at the source alone.