Condividi tramite


Regola IrqlReturn (wdm)

La regola IrqlReturn specifica che le routine dispatch del driver restituiscono allo stesso IRQL in corrispondenza del quale sono state chiamate. Per altre informazioni sui runtime di integrazione in corrispondenza dei quali vengono chiamate correttamente le routine dispatch, vedere Dispatch Routines and IRQLs.For more information about the IRQLs at which dispatch routines are properly called, see Dispatch Routines and IRQLs.

Modello di driver: WDM

Come eseguire il test

In fase di compilazione

Eseguire Static Driver Verifier e specificare la regola IrqlReturn .

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.

Vedi anche

Routine dispatch e IRQLs