Правило IrqlExApcLte2 (wdm)

Правило IrqlExApcLte2 указывает, что драйвер вызывает следующие подпрограммы только в IRQL меньше или равно APC_LEVEL.

• CmRegisterCallback

• CmUnRegisterCallback

• ExAllocateFromPagedLookasideList

• ExAllocatePoolWithQuota

• ExAllocatePoolWithQuotaTag

• ExDeletePagedLookasideList

• ExFreeToPagedLookasideList

• ExInitializePagedLookasideList

• ExRegisterCallback

• ExSetTimerResolution

• ExUnregisterCallback

• ProbeForRead

• ProbeForWrite

Модель драйвера: WDM

Ошибки, обнаруженные с помощью этого правила: проверка ошибок 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION (0x00020006), проверка ошибок 0xA: IRQL_NOT_LESS_OR_EQUAL

Как тестировать

Во время компиляции

Запустите средство проверки статических драйверов и укажите правило IrqlExApcLte2 . Чтобы выполнить анализ кода, выполните следующие действия. Подготовьте код (используйте объявления типов ролей). Запустите средство проверки статических драйверов. Просмотр и анализ результатов. Дополнительные сведения см. в статье "Использование средства проверки статических драйверов для поиска дефектов в драйверах".

во время выполнения
Запустите средство проверки драйвера и выберите параметр проверки соответствия DDI.

Применяется к

CmRegisterCallback cmRegisterCallbackEx CmUnRegisterCallbackexDeletePagedLookasideList ExInitializePagedLookasideListexRegisterCallbackexSetTimerResolutionexUnregisterCallbackProbeForReadProbeForWrite