Regola ReadReqs (kmdf)

  • Articolo

La regola ReadReqs specifica che le richieste di lettura non vengono passate ai metodi kmDF inappropriati.

Tutte le richieste presentate al driver nel callback EvtIoRead sono garantite per la lettura delle richieste. Queste richieste di lettura non possono essere inviate alle DDI seguenti:

WdfUsbTargetPipeWriteSynchronously

WdfIoTargetSendIoctlSynchronously

WdfIoTargetSendInternalIoctlSynchronously

WdfIoTargetSendInternalIoctlOthersSynchronously

WdfIoTargetSendWriteSynchronously

Modello di driver: KMDF

Come eseguire il test

In fase di compilazione

Eseguire il verifica driver statico e specificare la regola ReadReqs .

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

WdfIoTargetSendInternalIoctlOthersSynchronouslyWdfIoTargetSendInternalIoctlSynchronouslyWdfIoTargetSendIoctlSynchronouslyWdfIoTargetSendWriteSynchronouslyWdfUsbTargetPipeWriteSynchronously