RequestFormattedValid rule (kmdf)
The RequestFormattedValid rule specifies that the driver formats all requests, except for a WDF_REQUEST_SEND_OPTION_SEND_AND_FORGET request, before it sends them to an I/O target.
| Driver model | KMDF |
|---|
How to test
| At compile time |
|---|
|
Run Static Driver Verifier and specify the RequestFormattedValid 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
- WdfIoTargetFormatRequestForInternalIoctl
- WdfIoTargetFormatRequestForInternalIoctlOthers
- WdfIoTargetFormatRequestForIoctl
- WdfIoTargetFormatRequestForRead
- WdfIoTargetFormatRequestForWrite
- WdfRequestFormatRequestUsingCurrentType
- WdfRequestSend
- WdfRequestWdmFormatUsingStackLocation
- WdfUsbTargetDeviceFormatRequestForControlTransfer
- WdfUsbTargetDeviceFormatRequestForCyclePort
- WdfUsbTargetDeviceFormatRequestForString
- WdfUsbTargetDeviceFormatRequestForUrb
- WdfUsbTargetPipeFormatRequestForAbort
- WdfUsbTargetPipeFormatRequestForRead
- WdfUsbTargetPipeFormatRequestForReset
- WdfUsbTargetPipeFormatRequestForUrb
- WdfUsbTargetPipeFormatRequestForWrite
Send comments about this topic to Microsoft
Build date: 2/13/2014
Show:
