Projects / Splint

Splint

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.

Tags
Licenses

Recent releases

  •  02 Jun 2003 09:10

    Release Notes: 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.

    •  28 Mar 2003 03:07

      Release Notes: This release adds support for detection of security vulnerabilities (including buffer overflows) and extensible checks and annotations, support for ISO C99, and bugfixes.

      •  25 May 2000 22:46

        Release Notes: Bug fixes and minor enhancements.

        Screenshot

        Project Spotlight

        OpenStack4j

        A Fluent OpenStack client API for Java.

        Screenshot

        Project Spotlight

        TurnKey TWiki Appliance

        A TWiki appliance that is easy to use and lightweight.