ReqDelete rule (kmdf)

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 modelKMDF

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

 

 

Send comments about this topic to Microsoft

Show:
© 2014 Microsoft