Condividi tramite

Regola IrqlKeWaitForMultipleObjects (wdm)

  • Articolo

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:
  1. Prepara il codice (usa dichiarazioni di tipo ruolo).
  2. Esegui Driver Verifier statico.
  3. 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