Partager via


Règle WriteReqs (kmdf)

La règle WriteReqs spécifie qu’une demande d’écriture n’est pas passée à des méthodes KMDF inappropriées.

Toutes les requêtes présentées au pilote dans le rappel de la fonction de rappel de l’événement EvtIoWrite sont garanties comme des demandes d’écriture. Ces requêtes ne peuvent pas être envoyées à l’aide de méthodes KMDF spécifiquement conçues pour envoyer des requêtes en lecture ou IOCTL.

Les demandes d’écriture ne peuvent pas être envoyées aux méthodes suivantes

WdfUsbTargetPipeReadSynchronously

WdfIoTargetSendIoctlSynchronously,

WdfIoTargetSendInternalIoctlSynchronously,

WdfIoTargetSendInternalIoctlOthersSynchronously,

WdfIoTargetSendReadSynchronously.

Modèle de pilote : KMDF

Comment tester

Au moment de la compilation

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

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 à

WdfIoTargetSendInternalIoctlOthersSynchronouslyWdfIoTargetSendInternalIoctlSynchronouslyWdfIoTargetSendIoctlSynchronouslyWdfIoTargetSendReadSynchronouslyWdfUsbTargetPipeReadSynchronously