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.
Driver model: KMDF
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. |
Applies to
WdfIoQueueFindRequest WdfIoQueueRetrieveFoundRequest WdfObjectDereference