Regola DoubleExFreePool (storport)
Questa regola verifica che il driver non tenti di liberare due volte lo stesso blocco di memoria del pool.
La regola tiene traccia del puntatore alla memoria che viene prima passata a ExFreePool. Se lo stesso puntatore viene passato di nuovo, il driver non riesce la regola. Se il driver chiama RemoveHeadList o RemoveEntryList, la regola passa.
Modello di driver: Storport
Come eseguire il test
| In fase di compilazione |
|---|
Eseguire il verifica driver statico e specificare la regola DoubleExFreePool . 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. |