CancelTimerObject rule (ndis)

The CancelTimerObject rule specifies that NdisSetTimerObject and NdisCancelTimerObject are called in alternate order. The ultimate goal is to make sure all timers are cancelled when MiniportHaltEx ends.

The rule uses three different states. The state changes when a timer is set or cancelled. If the timer is still set when MiniportHaltEx exits, the rule reports the defect.

Driver modelNDIS

How to test

At compile time

Run Static Driver Verifier and specify the CancelTimerObject rule.

Use the following steps to run an analysis of your code:
  1. Prepare your code (use role type declarations).
  2. Run Static Driver Verifier.
  3. View and analyze the results.

For more information, see Using Static Driver Verifier to Find Defects in Drivers.

 

 

Send comments about this topic to Microsoft

Show: