Regola irqlObPassive (wdm)
La regola IrqlObPassive specifica che il driver chiama ObReferenceObjectByHandle solo quando viene eseguito in IRQL = PASSIVE_LEVEL.
Modello di driver: WDM
Verifica bug trovata con questa regola: Verifica bug 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION (0x0002001B )
Come eseguire il test
| In fase di compilazione |
|---|
Eseguire il verifica driver statico e specificare la regola IrqlObPassive . Usa i passaggi descritti di seguito per eseguire un'analisi del codice:
Per altre informazioni, vedere Uso del verificatore driver statico per trovare i difetti nei driver. |
| In fase di esecuzione |
|---|
Eseguire il verifica driver e selezionare l'opzione di controllo della conformità DDI . |