Regola IrqlKeWaitForMultipleObjects (wdm)

La regola IrqlKeWaitForMultipleObjects specifica che i chiamanti della routine KeWaitForMultipleObjects devono essere eseguiti in base al parametro Timeout .

I chiamanti della routine IrqlKeWaitForMultipleObjects possono essere eseguiti in IRQL <= DISPATCH_LEVEL, ad eccezione delle situazioni seguenti:

• Se Timeout<> 0, il chiamante della routine KeWaitForMultipleObjects deve essere in esecuzione in IRQL <= APC_LEVEL.

• Se Timeout != NULL e *Timeout = 0, il chiamante della routine KeWaitForMultipleObjects deve essere in esecuzione in IRQL = DISPATCH_LEVEL.

• Se TimeoutNULL o *Timeout = != 0, il chiamante della routine KeWaitForMultipleObjects deve essere in esecuzione in IRQL <= APC_LEVEL.

Modello di driver: WDM

Come eseguire il test

In fase di compilazione

Eseguire Static Driver Verifier e specificare la regola IrqlKeWaitForMultipleObjects . Usa i passaggi descritti di seguito per eseguire un'analisi del codice: Prepara il codice (usa dichiarazioni di tipo ruolo). Esegui Driver Verifier statico. Visualizza e analizza i risultati. Per altre informazioni, vedere Using Static Driver Verifier to Find Defects in Drivers.For more information, see Using Static Driver Verifier to Find Defects in Drivers.

Si applica a

KeWaitForMultipleObjects