Download List

Project Description

Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes. With minimal effort, it can be used as a better lint. If additional effort is invested adding annotations to programs, it can perform stronger checking than can be done by any standard lint. Splint is the successor to LCLint. The main differences between Splint and LCLint are support for buffer overflow detection and extensible annotations.

System Requirements

System requirement is not defined
Information regarding Project Releases and Project Resources. Note that the information here is a quote from Freecode.com page, and the downloads themselves may not be hosted on OSDN.

2003-06-02 11:10 Back to release list
3.1.1

Numerous enhancements were made, including
improved accuracy of the bounds checking code,
HTML and CSV output, and support for numabstract
types. Numerous bugfixes and house-keeping
updates were also made. Additional security
checks were introduced, including the addition
of messagestream, warningstream, and errorstream
control flags, and support for +longint and
+shortint flags. The type checking was also
changed accordingly.
Tags: Major feature enhancements

Project Resources