WdfIoQueueRetrieveFoundRequest rule (kmdf)
The WdfIoQueueRetrieveFoundRequest rule specifies that WdfIoQueueRetrieveFoundRequest method is called only after WdfIoQueueFindRequest is called and returned STATUS_SUCCESS and no WdfObjectDereference is called on the same request.
If WdfIoQueueFindRequest returns STATUS_SUCCESS it increments the reference count of the output request object, the driver must call WdfObjectDereference after it has finished using this request handle.
How to test
|At compile time|
Run Static Driver Verifier and specify the WdfIoQueueRetrieveFoundRequest 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.