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 | Software Development Debuggers |
|---|---|
| Licenses | GPL |
Recent releases
- 02 Jun 2003 02: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.
- 27 Mar 2003 19: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.
- 30 Jan 2001 06:13
Release Notes: Bug fixes and minor enhancements.
evans
27 Jun 1998 10:22
Heartbeat
- Popularity Score
- 136.66
- Vitality Score
- 2.17
- Subscriptions
- 44
