Paquet : splint-doc-html (1:3.1.2+dfsg-5)
Liens pour splint-doc-html
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source splint :
Responsable :
Ressources externes :
- Page d'accueil [www.splint.org]
Paquets similaires :
outil de vérification statique de programmes en C pour des bogues – documentation en HTML
Splint est un vérificateur statique léger à l’aide d’annotations. C’est un outil pour le contrôle statique de programmes en C de vulnérabilités de sécurité et d’erreurs de programme. Si des efforts supplémentaires sont engagés pour l’ajout d’annotations aux programmes, splint peut réaliser un contrôle plus approfondi.
Splint réalise la plupart des vérifications traditionnelles de lint, dont les déclarations non utilisées, les incohérences de type, les utilisations avant les définitions, le code inaccessible, les chemins d’exécution sans renvoi, les boucles infinies probables et les cas d’échec. Les problèmes détectés par Splint incluent :
— déréférencement de pointeur NULL possible ; — utilisation ou retour d’un stockage non ou incorrectement défini ; — mauvaise correspondance de types, avec une plus grande précision et flexibilité que les compilateurs de C ; — erreurs de gestion de mémoire telles que l’utilisation de références non adéquates (dangling) et fuites de mémoire ; — modifications ou utilisations incohérentes de variable globale (avec une interface précisée) ; — flux de contrôle problématique tel que des boucles infinies, etc. ; — vulnérabilités de dépassement de tampon ; — implémentations ou invocations dangereuses de macro ; — violations de convention personnalisée de nommage.
Ce paquet fournit le manuel (documentation en HTML) pour splint.
Autres paquets associés à splint-doc-html
|
|
|
|
-
- sug: splint
- tool for statically checking C programs for bugs
Télécharger splint-doc-html
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
all | 156,2 ko | 1 045,0 ko | [liste des fichiers] |