Condividi tramite


Regola WriteReqs (kmdf)

La regola WriteReqs specifica che una richiesta di scrittura non viene passata ai metodi KMDF inappropriati.

Tutte le richieste presentate al driver nella funzione di callback dell'evento EvtIoWrite devono essere richieste di scrittura. Queste richieste non possono essere inviate usando metodi KMDF progettati in modo specifico per inviare richieste di lettura o IOCTL.

Le richieste di scrittura non possono essere inviate ai metodi seguenti

WdfUsbTargetPipeReadSynchronously

WdfIoTargetSendIoctlSynchronously,

WdfIoTargetSendInternalIoctlSynchronously,

WdfIoTargetSendInternalIoctlOthersSynchronously,

WdfIoTargetSendReadSynchronously.

Modello di driver: KMDF

Come eseguire il test

In fase di compilazione

Eseguire il verifica driver statico e specificare la regola WriteReqs .

Usa i passaggi descritti di seguito per eseguire un'analisi del codice:
  1. Prepara il codice (usa dichiarazioni di tipo ruolo).
  2. Esegui Driver Verifier statico.
  3. Visualizza e analizza i risultati.

Per altre informazioni, vedere Uso del verificatore driver statico per trovare i difetti nei driver.

Si applica a

WdfIoTargetSendInternalIoctlOthersSynchronouslyWdfIoTargetSendInternalIoctlSynchronouslyWdfIoTargetSendIoctlSynchronouslyWdfIoTargetSendReadSynchronouslyWdfUsbTargetPipeReadSynchronously