Regola DoubleComplete (ndis)
La regola DoubleComplete specifica che i driver NDIS non devono completare più volte una richiesta OID (Object Identifier).
Questa regola verifica che quando la funzione callback MiniportOidRequest restituisce NDIS_STATUS_SUCCESS, la funzione NdisMOidRequestComplete non deve essere chiamata per tale richiesta. La regola specifica inoltre che quando MiniportOidRequest restituisce lo stato in sospeso, il driver non deve chiamare la funzione NdisMOidRequestComplete più volte per tale richiesta.
Modello di driver: NDIS
Come eseguire il test
In fase di compilazione |
---|
Eseguire il verifica driver statico e specificare la regola DoubleComplete . 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. |