Regola IrqlPsPassive (wdm)

La regola IrqlPsPassive specifica che il driver chiama le routine della struttura di processo seguenti solo quando viene eseguito in IRQL = PASSIVE_LEVEL:

• PsCreateSystemThread

• PsGetVersion

• PsSetCreateProcessNotifyRoutine

• PsSetCreateThreadNotifyRoutine

• PsSetLoadImageNotifyRoutine

• PsTerminateSystemThread

modello driver : WDM

Controlli bug trovati con questa regola: Controllo bug 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION (0x0002001C)

Come eseguire il test

In fase di compilazione
Eseguire Static Driver Verifier e specificare la regola IrqlPsPassive . Per eseguire un'analisi del codice, seguire questa procedura: Preparare il codice (usare le dichiarazioni del tipo di ruolo). Esegui verifica driver statico. Visualizzare e analizzare i risultati. Per altre informazioni, vedere 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:

PsCreateSystemThreadPsGetVersionPsSetCreateProcessNotifyRoutinePsSetCreateThreadNotifyRoutinePsSetLoadImageNotifyRoutinePsTerminateSystemThread