Download List

Descripción del Proyecto

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
3.1.1

Se hicieron numerosas mejoras, incluyendo una mayor exactitud del código de comprobación de límites, HTML y CSV de salida, y soporte para los tipos de numabstract. Numerosas correcciones de errores y actualizaciones de mantenimiento de la casa también se hicieron. Los controles de seguridad adicionales fueron introducidas, incluyendo la adición de messagestream, warningstream, y los indicadores de control flujoError, y el apoyo a longint + y + banderas shortint. La comprobación de tipos también se modificó en consecuencia.
Tags: Major feature enhancements
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.

2003-03-28 04:07
3.0.1.6

Esta versión incluye el soporte para la detección de vulnerabilidades de seguridad (incluidos los desbordamientos de búfer) y controles extensibles y anotaciones, soporte para la norma ISO C99, y corrección de errores.
Tags: Major feature enhancements
This release adds support for detection of security vulnerabilities
(including buffer overflows) and extensible checks and annotations,
support for ISO C99, and bugfixes.

2001-01-30 15:13
2.5m

Correcciones de errores y mejoras de menor importancia.
Bug fixes and minor enhancements.

Project Resources