|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
splint
splint | A tool for statically checking C programs for bugs | Priority | |
Section | devel |
Installed size | 2628 |
Maintainer | Samuele Giovanni Tonon <samu@debian.org> |
Architecture | i386 |
Version | 3.1.1-6 |
Depends | libc6 (>= 2.3.6-6) |
Suggests | splint-doc |
File name | pool/main/s/splint/splint_3.1.1-6_i386.deb |
Description | Splint 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. |
|
|