Regola IrqlIoPassive2 (wdm)
La regola IrqlIoPassive2 specifica che il driver chiama le routine di I/O Manager seguenti solo in IRQL = PASSIVE_LEVEL:
Modello di driver: WDM
Verifica bug trovata con questa regola: Controllo bug 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION (0x0002000B)
In fase di compilazione |
---|
Eseguire Static Driver Verifier e specificare la regola IrqlIoPassive2 . Usa i passaggi descritti di seguito per eseguire un'analisi del codice:
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 . |