ReqDelete rule (kmdf)

  • Article

The ReqDelete rule specifies that driver-created requests are not passed to WdfRequestCompleteXxx functions. Instead, the request should be deleted upon completion.

If the driver creates a framework request object in a call to WdfRequestCreate, the request should be deleted by using WdfObjectDelete when the driver is finished with the request.

The driver cannot call WdfRequestComplete, WdfRequestCompleteWithInformation or WdfRequestCompleteWithPriorityBoost functions on the request object. The WdfRequestCompleteXxx functions are reserved for framework-supplied requests.

Driver model: KMDF

How to test

At compile time

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

WdfObjectDelete WdfRequestComplete WdfRequestCompleteWithInformation WdfRequestCompleteWithPriorityBoost WdfRequestCreate