Regra IrqlKeDispatchLte (wdm)

A regra IrqlKeDispatchLte especifica que o driver chama as seguintes rotinas de kernel somente quando está em execução em IRQL <= DISPATCH_LEVEL:

• KeAcquireSpinLock

• KeCancelTimer

• KeClearEvent

• KeFlushIoBuffers

• KeInitializeDeviceQueue

• KeInitializeTimer

• KeInitializeTimerEx

• KePulseEvent

• KeRaiseIrqlToDpcLevel

• KeReadStateEvent

• KeReadStateTimer

• KeReleaseMutex

• KeRemoveEntryDeviceQueue

• KeResetEvent

• KeSaveFloatingPointState

• KeSetTimer

• KeSetTimerEx

Modelo de driver: WDM

Marcar de bugs encontradas com esta regra: 0xC4 de Verificação de Bugs: DRIVER_VERIFIER_DETECTED_VIOLATION (0x00020011)

Como testar

Em tempo de compilação
Execute o Verificador de Driver Estático e especifique a regra IrqlKeDispatchLte . Use as seguintes etapas para executar uma análise do código: Prepare seu código (use declarações de tipo de função). Execute o Verificador de Driver Estático. Exiba e analise os resultados. Para obter mais informações, consulte Usando o verificador de driver estático para localizar defeitos em drivers.

Em tempo de execução
Execute o Verificador de Driver e selecione a opção de verificação de conformidade da DDI .

Aplica-se a

KeAcquireSpinLockKeCancelTimerKeClearEventKeInitializeDeviceQueueKeInitializeSemaphoreKeInitializeTimerKeInitializeTimerExKePulseEventKeReadStateEventKeReadStateTimerKeReleaseMutexKeovRemeEntryDeviceQueueKeResetEventKeSaveFloatingPointStateKeSetTimerKeSetTimerEx