Règle IrqlKeWaitForMutexObject (wdm)
La règle IrqlKeWaitForMutexObject spécifie le pilote pour appeler la routine KeWaitForMutexObject à l’IRQL approprié en fonction de la valeur du paramètre Timeout :
Si le délai d’expiration pointe vers une valeur zéro, le pilote s’exécute à IRQL = DISPATCH_LEVEL.
Si le délai d’expiration a la valeur NULL ou pointe vers une valeur autre que zéro, le pilote s’exécute à IRQL <= APC_LEVEL.
Modèle de pilote : WDM
Comment tester
Au moment de la compilation |
---|
Exécutez Static Driver Verifier et spécifiez la règle IrqlKeWaitForMutexObject . Utilisez les étapes suivantes pour exécuter l’analyse de votre code :
Pour plus d’informations, consultez Utilisation du vérificateur de pilote statique pour rechercher des défauts dans les pilotes. |