Regola IrqlRtlPassive (wdm)
La regola IrqlRtlPassive specifica che il driver chiama RtlDeleteRegistryValue solo quando viene eseguito in IRQL uguale a PASSIVE_LEVEL.
Modello di driver: WDM
Controllo bug trovato con questa regola: Controllo bug 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION (0x0002001E)
Come eseguire il test
| In fase di compilazione |
|---|
Eseguire Static Driver Verifier e specificare la regola IrqlRtlPassive . Per eseguire un'analisi del codice, seguire questa procedura:
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 Driver Verifier e selezionare l'opzione di controllo della conformità DDI. |