Paquet : splint-doc-html (1:3.1.2+dfsg-1)

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.

Étiquettes: Développement de logiciel: Documentation, Tests et assurance qualité, Fait de: HTML, Hypertext Markup Language, Rôle: Documentation

Cette page est uniquement disponible dans les langues suivantes (Comment configurer la langue par défaut du document) :