Home
Linux temps réel embarqué et outils de développements Technique





splint

splint A tool for statically checking C programs for bugs
Priority
Sectiondevel
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.


©M.N.I.S Société | Produits | Services | Formations | Support | Partenariat | Presse | Téléchargements ©M.N.I.S