Condividi tramite


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:
  1. Preparare il codice (usare le dichiarazioni del tipo di ruolo).
  2. Eseguire verifica driver statici.
  3. Visualizzare e analizzare 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 Driver Verifier e selezionare l'opzione di controllo della conformità DDI.

Si applica a

RtlDeleteRegistryValue