Règle IrqlExApcLte2 (wdm)

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

• CmRegisterCallback

• CmUnRegisterCallback

• ExAllocateFromPagedLookasideList

• ExAllocatePoolWithQuota

• ExAllocatePoolWithQuotaTag

• ExDeletePagedLookasideList

• ExFreeToPagedLookasideList

• ExInitializePagedLookasideList

• ExRegisterCallback

• ExSetTimerResolution

• ExUnregisterCallback

• ProbeForRead

• ProbeForWrite

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 : Préparez votre code (utilisez des déclarations de type de rôle). Exécutez Static Driver Verifier. 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