Règle DoubleExFreePool (storport)

  • Article

Cette règle vérifie que le pilote ne tente pas de libérer deux fois le même bloc de mémoire du pool.

La règle effectue le suivi du pointeur de mémoire qui est d’abord passé à ExFreePool. Si le même pointeur est passé à nouveau, le pilote échoue à la règle. Si le pilote appelle RemoveHeadList ou RemoveEntryList, la règle passe.

Modèle de pilote : Storport

Comment tester

Au moment de la compilation

Exécutez Static Driver Verifier et spécifiez la règle DoubleExFreePool .

Utilisez les étapes suivantes pour exécuter l’analyse de votre code :
  1. Préparez votre code (utilisez les déclarations de type).
  2. Exécutez le vérificateur de pilote statique.
  3. Affichez et analysez les résultats.

Pour plus d’informations, consultez Utilisation du vérificateur de pilote statique pour rechercher des défauts dans les pilotes.

S’applique à

ExFreePoolRemoveEntryListRemoveHeadList