DoubleComplete rule (ndis)

  • Article

The DoubleComplete rule specifies that NDIS drivers must not complete an object identifier (OID) request multiple times.

This rule verifies that when the MiniportOidRequest callback function returns NDIS_STATUS_SUCCESS, the NdisMOidRequestComplete function must not be called for that request. The rule also specifies that when MiniportOidRequest returns status pending, the driver must not call the NdisMOidRequestComplete function multiple times for that request.

Driver model: NDIS

How to test

At compile time

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