DoubleComplete rule (ndis)
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.
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:
For more information, see Using Static Driver Verifier to Find Defects in Drivers.