Splint

Splint est un outil pour la vérification statique des programmes C de failles de sécurité et les erreurs de programmation.
Splint fait un grand nombre de contrôles de peluches traditionnelles, y compris les déclarations inutilisés, les incohérences de type, l'utilisation avant la définition, le code inaccessible, les valeurs de retour ignorés, chemins d'exécution sans retour, boucles susceptibles infinies, et à l'automne à travers des cas.
Des contrôles plus puissants sont rendues possibles par des informations complémentaires fournies dans les annotations de code source. Les annotations sont des commentaires stylisés qui documentent hypothèses sur les fonctions, variables, paramètres et les types.
En plus des contrôles spécifiquement activées par annotations, la plupart des contrôles de peluches traditionnelles sont améliorées en exploitant cette information supplémentaire.
Comme plus d'effort est mis dans les programmes annoter, de meilleurs résultats de contrôle. Une courbe effort-bénéfice de représentation pour l'utilisation Splint est illustrée à la figure 1.
Splint est conçu pour être flexible et permettre aux programmeurs de sélectionner des points appropriés sur la courbe effort-bénéfice pour des projets particuliers.
Comme contrôles différents sont allumés et plus l'information est donnée dans le code annotations le nombre de bogues qui peuvent être détectés augmente considérablement.
Problèmes détectés par Splint comprennent: