RequestSendAndForgetNoFormatting rule (kmdf)
The RequestSendAndForgetNoFormatting rule verifies that the driver doesn't format a request using the I/O target formatting functions before sending it to an I/O target with the send option WDF_REQUEST_SEND_OPTION_SEND_AND_FORGET.
| Driver model | KMDF |
|---|
How to test
| At compile time |
|---|
|
Run Static Driver Verifier and specify the RequestSendAndForgetNoFormatting 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
- WdfRequestSend
- WdfUsbTargetDeviceFormatRequestForControlTransfer
- WdfUsbTargetDeviceFormatRequestForCyclePort
- WdfUsbTargetDeviceFormatRequestForString
- WdfUsbTargetDeviceFormatRequestForUrb
- WdfUsbTargetPipeFormatRequestForAbort
- WdfUsbTargetPipeFormatRequestForRead
- WdfUsbTargetPipeFormatRequestForReset
- WdfUsbTargetPipeFormatRequestForUrb
- WdfUsbTargetPipeFormatRequestForWrite
Send comments about this topic to Microsoft
Build date: 2/13/2014
Show:
