PÂLE le moteur logique d'affirmation du pointeur
Télécharger maintenant

PÂLE Classement & Résumé

PÂLE Mots clés

Aiguille Changeur de pointeur annotation moteur Changer le pointeur Pointeur Jiggler Pointeur de jiggle Gardez le réglage du pointeur pointeur keeper1 réglage du pointeur Pointeur coulé anneau autour de pointeur localiser le pointeur Les coordonnées de pointeur distance du pointeur Thème du pointeur vitesse du pointeur définir le pointeur pointeur Locator Personnaliser le pointeur pointeur de bureau Marquage d'affirmation de sécurité cadre d'affirmation de conception affirmation de conception position du pointeur Icône de pointeur Tailleur de pointeur directeur du pointeur bibliothèque d'affirmation pointeur statique Logique d'affirmation du pointeur Analyseur d'annotation Assertion CEHCKER affirmation

PÂLE La description

La logique d'assertion du pointeur est une notation pour exprimer des affirmations sur la structure de tas d'impératifs. Il permet aux programmeurs de spécifier des procédures, des invariants de boucles et d'autres affirmations dans la faible logique de deuxième ordre monadique de types de graphiques - une logique permettant d'exprimer de nombreuses structures de données communes. La logique est décrite, ce qui signifie que les affirmations peuvent être vérifiées automatiquement. Les applications principales cibles sont des algorithmes de type de données critiques de sécurité. Pale - Le moteur de la logique Assertion du pointeur - est une implémentation complète de la technique, basée sur l'outil Mona. Il analyse un programme annoté et rapporte des déréporences NULL-POINTER, des fuites de mémoire et des violations des assertions et des erreurs de type graphique. Essayez d'évaluer complètement ses capacités!

PÂLE Logiciels associés