MdlAfterReqCompletedWrite rule (kmdf)
The MdlAfterReqCompletedWrite rule specifies that within the EvtIoWrite callback function, the memory descriptor list (MDL) object retrieved cannot be accessed after the I/O request is completed.
Within the driver's EvtIoWrite callback function for a device's I/O queue, the request buffer that was retrieved by calling the WdfRequestRetrieveInputWdmMdl method cannot be accessed after calling WdfRequestComplete, WdfRequestCompleteWithInformation, or WdfRequestCompleteWithPriorityBoost on the I/O request.
This rule considers the following two MDL access methods:
How to test
|At compile time|
Run Static Driver Verifier and specify the MdlAfterReqCompletedWrite 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.