Éclisse Attelle est un outil qui vérifie les programmes C pour des problèmes de sécurité et des erreurs de codage.
Télécharger maintenant

Éclisse Classement & Résumé

Éclisse Mots clés

Débogueur problèmes de sécurité Erreurs de codage Éclisse

Éclisse La description

L'attelle est un outil qui vérifie les programmes C pour les problèmes de sécurité et les erreurs de codage. Splint est un outil de vérification statique des programmes C pour les vulnérabilités de sécurité et les erreurs de programmation.Splint fait de nombreuses vérifications de peluches traditionnelles, y compris les déclarations non utilisées, les incohérences de type, l'utilisation avant la définition, le code inaccessible, les valeurs de retour ignoré, les chemins d'exécution sans retour, probablement infini. Des boucles et tombent dans des cas.Plus de chèques puissants sont rendus possibles par des informations supplémentaires données dans les annotations de code source. Les annotations sont des commentaires stylisés qui documennent des hypothèses sur les fonctions, les variables, les paramètres et les types.In addition aux contrôles spécifiquement activés par les annotations, de nombreux contrôles de peluche traditionnels sont améliorés en exploitant cette information supplémentaire.La plus d'efforts déployés dans des programmes d'annotation, mieux Vérification des résultats. Une courbe d'effort de représentation représentation pour utiliser une attelle est illustrée à la figure 1.Splint est conçue pour être flexible et permet aux programmeurs de sélectionner des points appropriés sur la courbe d'effort-prestations pour des projets particuliers. Des contrôles différents sont allumés et plus d'informations sont données dans Annotations de code Le nombre de bugs pouvant être détectés augmente considérablement.Problèmes détectés par une attelle incluent: · Déroferience A éventuellement un pointeur NULL · Utilisant éventuellement un stockage non défini ou un stockage de retour non défini non défini · Tapez des incompatibles, avec une précision supérieure et une plus grande flexibilité que prévu. C compilateurs · Violations d'informations Cachée · Erreurs de gestion de la mémoire comprenant des utilisations de références dangereuses et de fuites de mémoire · Des modifications dangereuses et des utilisations de variable globales incompatibles avec des interfaces spécifiées · Flux de contrôle problématique telle que des boucles infinies probables, tombent dans des cas ou des commutateurs incomplets et déclarations suspectes · Vulnérabilités de débordement tampon · Dangereux Macro mises en uvre ou invocations · Violations de conventions de dénomination personnalisées.

Éclisse Logiciels associés