Partager via


Règle ReadReqs (kmdf)

La règle ReadReqs spécifie que les demandes de lecture ne sont pas passées à des méthodes KMDF inappropriées.

Toutes les requêtes présentées au pilote dans le rappel EvtIoRead sont garanties comme des demandes de lecture. Ces demandes de lecture ne peuvent pas être envoyées aux DDIs suivants :

WdfUsbTargetPipeWriteSynchronously

WdfIoTargetSendIoctlSynchronously

WdfIoTargetSendInternalIoctlSynchronously

WdfIoTargetSendInternalIoctlOthersSynchronously

WdfIoTargetSendWriteSynchronously

Modèle de pilote : KMDF

Comment tester

Au moment de la compilation

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

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 à

WdfIoTargetSendInternalIoctlOthersSynchronouslyWdfIoTargetSendInternalIoctlSynchronouslyWdfIoTargetSendIoctlSynchronouslyWdfIoTargetSendWriteSynchronouslyWdfUsbTargetPipeWriteSynchronously