Edit

Share via

InternalIoctlReqs rule (kmdf)

  • Article

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.

Driver model: KMDF

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:
  1. Prepare your code (use role type declarations).
  2. Run Static Driver Verifier.
  3. View and analyze the results.

For more information, see Using Static Driver Verifier to Find Defects in Drivers.

Applies to

WdfIoTargetSendIoctlSynchronously WdfIoTargetSendReadSynchronously WdfIoTargetSendWriteSynchronously WdfUsbTargetPipeReadSynchronously WdfUsbTargetPipeWriteSynchronously