Partager via

Règle IoFreeIrp (storport)

  • Article

Cette règle vérifie qu’un IRP qui a été alloué par IoAllocateIrp sera libéré par IoFreeIrp ou que sa routine d’achèvement sera définie par IoSetCompletionRoutine.

Modèle de pilote : Storport

Comment tester

Au moment de la compilation

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

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 à

IoAllocateIrpIoFreeIrpIoSetCompletionRoutine