Regola IoctlReqs (kmdf)

La regola IoctlReqs specifica che le richieste IOCTL non devono essere passate alla richiesta kmDF inappropriata o inviare interfacce del driver di dispositivo (DDIs).

Tutte le richieste presentate alla funzione di callback degli eventi EvtIoDeviceControl del driver sono garantite come richieste IOCTL. La funzione EvtIoDeviceControl del driver viene dichiarata usando la dichiarazione del tipo di ruolo della funzione EVT_WDF_IO_QUEUE_IO_DEVICE_CONTROL.

Queste richieste IOCTL non possono essere inviate alle DDI seguenti specifiche per l'invio di richieste di lettura, scrittura o IOCTL:

WdfUsbTargetPipeSendUrbSynchronously, WdfIoTargetSendReadSynchronously, WdfIoTargetSendWriteSynchronously, WdfIoTargetSendInternalIoctlSynchronously, WdfIoTargetSendInternalIoctLOthersSynchronously, WdfUsbTargetPipeSynchronously, WdfUsbTargetPipeReadSynchronously

Modello di driver: KMDF

Come eseguire il test

In fase di compilazione

Eseguire il verifica driver statico e specificare la regola IoctlReqs .

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

WdfIoTargetSendInternalIoctlOthersSynchronouslyWdfIoTargetSendInternalIoctlSynchronouslyWdfIoTargetSendReadSynchronouslyWdfIoTargetSendWriteSynchronouslyWdfUsbTargetPipeReadSynchronouslyWdfUsbTargetPipeSendUrbSynchronouslyWdfUsbTargetPipeWriteSynchronously