Regola NdisAllocateMdl (ndis)
La regola NdisAllocateMdl specifica che NdisAllocateMdl e NdisFreeMdl vengono chiamati in ordine alternativo. L'obiettivo finale è quello di assicurarsi che tutti gli MDL siano liberati quando MiniportHaltEx termina.
La regola usa tre stati diversi. Lo stato cambia quando un MDL viene allocato o liberato. Se un MDL è ancora allocato quando il MiniportHaltEx viene chiuso, la regola segnala il difetto.
Modello di driver: NDIS
Come eseguire il test
| In fase di compilazione |
|---|
Eseguire il verifica driver statico e specificare la regola NdisAllocateMdl . 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. |