Regola CancelTimerObject (ndis)
La regola CancelTimerObject specifica che NdisSetTimerObject e NdisCancelTimerObject vengono chiamati in ordine alternativo. L'obiettivo finale è assicurarsi che tutti i timer vengano annullati al termine di MiniportHaltEx .
La regola usa tre stati diversi. Lo stato cambia quando un timer viene impostato o annullato. Se il timer è ancora impostato quando MiniportHaltEx viene chiuso, 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 CancelTimerObject . 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. |