Splint (programming tool)
|
|
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.
Splint 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.
See also
External links
- Home page (http://splint.org/)
- Publications about checking techniques (http://splint.org/pubs.html)
- C++ front end for splint (http://SplintPP.sourceforge.net/)