Splint (programming tool)

From Wikipedia, the free encyclopedia

Splint
Developed by The Splint Developers
Latest release 3.1.2 / July 12, 2007
OS Cross-platform
Genre Static code analysis
License GPL
Website splint.org

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.

Splint is free software released under the terms of the GNU General Public License.

According to the CVS at SourceForge, as of December 2007 the most recent change in the repository was on 10 August 2007.

According to their homepage, the latest release is version 3.1.2 on July 12, 2007.

However, the maintainer has said that development is stagnant and the project needs new volunteers.

[edit] See also

[edit] External links

Languages