Regola ForwardedAtBadIrqlAllocate (wdm)
La regola ForwardedAtBadIrqlAllocate specifica che il driver deve chiamare IoCallDriver e PoCallDriver in IRQL<DISPATCH_LEVEL, a meno che il codice della funzione principale IRP inoltrato sia uno dei seguenti:
Modello di driver: WDM
Come eseguire il test
| In fase di compilazione |
|---|
Eseguire il verifica driver statico e specificare la regola ForwardedAtBadIrqlAllocate . 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. |