regola Init_NdisAllocateIoWorkItem (ndis)
La regola Init_NdisAllocateIoWorkItem specifica che se NdisAllocateIoWorkItem viene chiamato almeno una volta durante MiniportInitializeEx, la funzione NdisFreeIoWorkItem deve:
-
- essere chiamato almeno una volta in MPHaltEx, se MiniportInitializeEx ha esito positivo.
-
- essere chiamato in MiniportInitializeEx, se MiniportInitializeEx ha esito negativo.
Modello di driver: NDIS
Come eseguire il test
| In fase di compilazione |
|---|
Eseguire il verifica driver statico e specificare la regola di Init_NdisAllocateIoWorkItem . 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. |