Edit

Share via

DoubleCompleteWorkItem rule (ndis)

The DoubleCompleteWorkItem rule specifies that NDIS drivers must not complete an OID request multiple times when the completion is deferred in a work item.

This rule tracks the OID and verifies that when the driver queues a work item, the driver does not call NdisMOidRequestComplete multiple times on the same OID.

Driver model: NDIS

How to test

At compile time

Run Static Driver Verifier and specify the DoubleCompleteWorkItem 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.

Applies to

NdisMOidRequestComplete