MdlAfterReqCompletedWriteA rule (kmdf)
The MdlAfterReqCompletedWriteA 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 MDL access functions:
IoBuildPartialMdl (first and second parameter)
How to test
|At compile time|
Run Static Driver Verifier and specify the MdlAfterReqCompletedWriteA 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.
Build date: 2/13/2014