Splint (programming tool)

Splint, short for Secure Programming Lint, is a programming tool for Static code analysis C programming language for security vulnerability (computer science) and coding mistakes. Formerly called LCLint, it is a modern version of the Unix lint programming tool 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=

*Buffer overflow *Memory debugger *Software testing

=External links=

*[http://splint.org/ Home page] *[http://splint.org/pubs.html Publications about checking techniques] *[http://SplintPP.sourceforge.net/ C++ front end for splint]