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





splint-doc

splint-doc Documentation for splint
Priority
Sectiondoc
Installed size 2740
Maintainer Samuele Giovanni Tonon <samu@debian.org>
Architecture all
Version 3.1.1-2
Depends w3m | www-browser
Suggests splint-doc
File name pool/main/s/splint-doc/splint-doc_3.1.1-2_all.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. This is the online manual available from the splint website.
©M.N.I.S Société | Produits | Services | Formations | Support | Partenariat | Presse | Téléchargements ©M.N.I.S