Splint (programming Tool) Article Index for
Splint
 

Information About

Splint (programming Tool)





Information

  Name Splint
  Developer The Splint Developers
  Latest Release Version 311
  Latest Release Date April 29 , 2003
  Operating System Cross-platform
  Genre Static Code Analysis
  License GPL (LICENSE reference in 311 is invalid)
  Website splintorg


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 of April 6 2007 the most recent change in the Source Code of Splint is dated July 31 2004 .

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


SEE ALSO




EXTERNAL LINKS