Partager via

Règle IrqlKeReleaseSpinLock (wdm)

  • Article

La règle IrqlKeReleaseSpinLock spécifie que le pilote appelle KeReleaseSpinLock uniquement lorsqu’il s’exécute à IRQL égal à DISPATCH_LEVEL.

Cette règle spécifie également que la valeur du paramètre NewIrql dans l’appel à KeReleaseSpinLock est égale à l’IRQL à laquelle le pilote s’exécutait avant l’appel à KeAcquireSpinLock. (Cette valeur est également la valeur du Paramètre OldIrql fourni par KeAcquireSpinLock.)

Modèle de pilote : WDM

Vérification des bogues trouvées avec cette règle : Vérification des bogues 0xC4 : DRIVER_VERIFIER_DETECTED_VIOLATION (0x00020015 )

Comment tester

Au moment de la compilation

Exécutez le vérificateur de pilote statique et spécifiez la règle IrqlKeReleaseSpinLock .

Utilisez la procédure suivante pour exécuter une analyse de votre code :
  1. Préparez votre code (utilisez des déclarations de type de rôle).
  2. Exécutez Static Driver Verifier.
  3. Visualisez et analysez les résultats.

Pour plus d’informations, consultez Utilisation de Static Driver Verifier pour rechercher des défauts dans les pilotes.
Au moment de l'exécution

Exécutez le vérificateur de pilote et sélectionnez l’option de vérification de conformité DDI.

S’applique à

KeReleaseSpinLock