Microsoft Slayer

Un vérificateur de sécurité de mémoire automatique à base de logique de séparation automatique
Télécharger maintenant

Microsoft Slayer Classement & Résumé

Publicité

  • Rating:
  • Licence:
  • Freeware
  • Nom de l'éditeur:
  • Microsoft Research
  • Systèmes d'exploitation:
  • Windows XP / 2003 / Vista / 2008 / 7
  • Taille du fichier:
  • 21 KB

Microsoft Slayer Mots clés


Microsoft Slayer La description

SLAYER (SEPARATION Logic Analyzer) est un vérificateur de sécurité en mémoire conçu pour vérifier que son code d'entrée C n'affiche pas les pointeurs suspendus, les double libertés, ni la mémoire de fuite. Utiliser l'outil Pour courir sur un test, dites CLEANUP_ISOCHRESOURCEDATA_REMOVE_HEAD_LIST.C QUI MALLOCS, puis libère une liste Plist_Entry, exécutez ceci dans une coquille CMD: C: \> CD C: \ SLAYER C: \> setup.cmd C: \> Test CD \ KMDF \ 1394 \ CLEANUP_ISOCHRESOURCEDATA_REMOVE_HEAD_List C: \> slayer propretup_isochresourcedata_remove_head_list.c À la sortie, SLAYER imprime un message "Résultat: Safe" et laisse plusieurs fichiers de sortie (la représentation interne du programme en format DOT, un contre-exemple au format défectueux.tt, etc.).


Microsoft Slayer Logiciels associés

Nvalidator

une bibliothèque de validation extensible légère pour .NET qui prend en charge la syntaxe fluide ...

91 4.1 MB

Télécharger

À propos de nous