Regola IrqlExFree3 (wdm)
La regola IrqlExFree3 specifica che ExFreePool e ExFreePoolWithTag vengono chiamati in IRQL appropriati.
Modello di driver: WDM
Come eseguire il test
| In fase di compilazione |
|---|
Eseguire il verifica driver statico e specificare la regola IrqlExFree3 . 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. |