Partager via

Règle InternalIoctlReqs (kmdf)

  • Article

La règle InternalIoctlReqs spécifie que les demandes IOCTL internes ne sont pas transmises aux interfaces de pilote de périphérique (DDIs) de requête-envoi de kmDF inappropriées.

Toutes les requêtes présentées au pilote dans la fonction de rappel EVT_WDF_IO_QUEUE_IO_INTERNAL_DEVICE_CONTROL sont garanties comme des requêtes IOCTL internes. Par conséquent, ces IOCTL ne peuvent pas être envoyées à l’aide de DDIs spécifiques à l’envoi de requêtes de lecture, d’écriture ou de IOCTL, telles que WdfIoTargetSendReadSynchronously, WdfIoTargetSendWriteSynchronously, WdfIoTargetIoctlSynchronously, WdfUsbTargetPipeWriteSynchronously.

Modèle de pilote : KMDF

Comment tester

Au moment de la compilation

Exécutez Static Driver Verifier et spécifiez la règle InternalIoctlReqs .

Utilisez les étapes suivantes pour exécuter l’analyse de votre code :
  1. Préparez votre code (utilisez les déclarations de type).
  2. Exécutez le vérificateur de pilote statique.
  3. Affichez et analysez les résultats.

Pour plus d’informations, consultez Utilisation du vérificateur de pilote statique pour rechercher des défauts dans les pilotes.

S’applique à

WdfIoTargetSendIoctlSynchronouslyWdfIoTargetSendReadSynchronouslyWdfIoTargetSendWriteSynchronouslyWdfUsbTargetPipeReadSynchronouslyWdfUsbTargetPipeWriteSynchronously