Regola NdisAllocateNetBuffer (ndis)
La regola NdisAllocateNetBuffer specifica che NdisAllocateNetBuffer e NdisFreeNetBuffer vengono chiamati in ordine alternativo. L'obiettivo finale è assicurarsi che tutte le istanze di NET_BUFFER vengano liberate quando MiniportHaltEx termina.
La regola usa tre stati diversi. Lo stato cambia quando un NET_BUFFER viene allocato o liberato. Se un NET_BUFFER viene ancora allocato all'uscita di MiniportHaltEx , la regola segnala il difetto.
Modello di driver: NDIS
Come eseguire il test
| In fase di compilazione |
|---|
Eseguire Static Driver Verifier e specificare la regola NdisAllocateNetBuffer . Usa i passaggi descritti di seguito per eseguire un'analisi del codice:
Per altre informazioni, vedere Using Static Driver Verifier to Find Defects in Drivers.For more information, see Using Static Driver Verifier to Find Defects in Drivers. |