Remarque
L’accès à cette page nécessite une autorisation. Vous pouvez essayer de vous connecter ou de modifier des répertoires.
L’accès à cette page nécessite une autorisation. Vous pouvez essayer de modifier des répertoires.
La règle IrqlKeRaiseLower2 spécifie que les pilotes utilisent KeLowerIrql pour restaurer l’IRQL d’origine déclenché par un appel précédent à KeRaiseIrql ou KeRaiseIrqlToDpcLevel.
Cette règle autorise les appels imbriqués à KeRaiseIrql, KeRaiseIrqlToDpcLevel et KeLowerIrql.
Modèle de pilote : WDM
Comment tester
| Au moment de la compilation |
|---|
Exécutez Static Driver Verifier et spécifiez la règle IrqlKeRaiseLower2 . 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. |