Regola IrqlExPassive (wdm)

La regola IrqlExPassive specifica che il driver chiama le routine di supporto esecutivo seguenti solo in IRQL = PASSIVE_LEVEL:

• ExCreateCallback

• ExIsProcessorFeaturePresent

• ExRaiseAccessViolation

• ExRaiseDatatypeMisalignment

• ExRaiseStatus

• ExUuidCreate

La regola IrqlExPassive specifica inoltre che il driver chiama ExRaiseStatus in IRQL <= APC_LEVEL.

Modello di driver: WDM

Verifica bug rilevata con questa regola: Controllo bug 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION (0x00020008), Controllo bug 0xA: IRQL_NOT_LESS_OR_EQUAL

Come eseguire il test

In fase di compilazione

Eseguire Static Driver Verifier e specificare la regola IrqlExPassive . 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.

In fase di esecuzione
Eseguire Verifica driver e selezionare l'opzione di controllo della conformità DDI .

Si applica a

ExCreateCallbackExIsProcessorFeaturePresentExRaiseAccessViolationExRaiseDatatypeMisalignmentExRaiseStatusExUuidCreate

Vedi anche

Gestione delle priorità hardwareche impediscono errori e deadlock durante l'uso dei blocchi di selezione