InternalIoctlReqs rule (kmdf)
The InternalIoctlReqs rule specifies that internal IOCTL requests are not passed to inappropriate KMDF request-send device driver interfaces (DDIs).
All requests presented to the driver in the EVT_WDF_IO_QUEUE_IO_INTERNAL_DEVICE_CONTROL callback function are guaranteed to be internal IOCTL requests. Therefore, these IOCTLs cannot be sent by using DDIs that are specific to sending read, write, or IOCTL, requests, such as WdfIoTargetSendReadSynchronously, WdfIoTargetSendWriteSynchronously, WdfIoTargetSendIoctlSynchronously, WdfUsbTargetPipeWriteSynchronously.
How to test
|At compile time|
Run Static Driver Verifier and specify the InternalIoctlReqs 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.