Partager via

Règle IrqlExApcLte2 (wdm)

  • Article

La règle IrqlExApcLte2 spécifie que le pilote appelle les routines suivantes uniquement au niveau d’IRQL inférieur ou égal à APC_LEVEL.

Modèle de pilote : WDM

Vérification des bogues trouvées avec cette règle : Vérification des bogues 0xC4 : DRIVER_VERIFIER_DETECTED_VIOLATION (0x00020006 ), Vérification des bogues 0xA : IRQL_NOT_LESS_OR_EQUAL

Comment tester

Au moment de la compilation

Exécutez static Driver Verifier et spécifiez la règle IrqlExApcLte2 .

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 à

CmRegisterCallback CmRegisterCallbackExCmUnRegisterCallback ExDeletePagedLookasideListExInitializePagedLookasideListExRegisterCallbackExSetTimerResolutionExUnregisterCallbackProbeForWrite