Splint
Static Code AnalysisSplint is a tool for statically checking C programs for security vulnerabilities and coding mistakes. With minimal effort, Splint can be used as a better lint. If additional effort is invested adding annotations to programs, Splint can perform stronger checking than can be done by any standard lint.
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 used by gpsd as part of an effort to design for zero defects.
Splint is free software released under the terms of the GNU General Public License.
Development activity on Splint stopped in 2010. According to the CVS at SourceForge, as of September 2012 the most recent change in the repository was in November 2010.As of June 2018, the git repository at GitHub concurs, showing no changes since November 2010.
Specifications
Industry :
Information technology
Deployment :
- Mac
- Linux
- Freebsd
Language :
- English
Product Feature(s)
Products Rate & Review
Software © Copyright by Splint (All data, images, content, links of this software/service are subject to our market research & controlled by the vendor.)
feedback
