Regola NdisAllocateGenericObject (ndis)
La regola NdisAllocateGenericObject specifica che NdisAllocateGenericObject e NdisFreeGenericObject vengono chiamati in ordine alternativo. L'obiettivo finale è assicurarsi che tutti gli oggetti generici vengano liberati quando MiniportHaltEx termina.
La regola usa tre stati diversi. Lo stato cambia quando un oggetto generico NDIS viene allocato o liberato. Se un oggetto generico NDIS viene ancora allocato all'uscita di MiniportHaltEx , la regola avrà esito negativo.
Modello di driver: NDIS
Come eseguire il test
| In fase di compilazione |
|---|
Eseguire Static Driver Verifier e specificare la regola NdisAllocateGenericObject . 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. |