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.

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.

See also

• Buffer overflow
• Memory debugger
• Software testing

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/)

de:Splint (Software)