Regola NdisOpenConfigurationEx (ndis)
Questa regola verifica che NdisOpenConfigurationEx e NdisCloseConfiguration vengano chiamati in ordine alternativo. L'obiettivo finale è assicurarsi che gli handle di configurazione siano chiusi quando MiniportHaltEx termina.
La regola usa tre stati diversi. Lo stato cambia quando una configurazione viene aperta o chiusa. Se un handle di configurazione è ancora aperto quando viene chiuso MiniportHaltEx , viene segnalato un difetto.
Modello di driver: NDIS
Come eseguire il test
| In fase di compilazione |
|---|
Eseguire il verifica driver statico e specificare la regola NdisOpenConfigurationEx . 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. |