Compartir a través de


Regla WriteReqs (kmdf)

La regla WriteReqs especifica que una solicitud de escritura no se pasa a métodos KMDF inadecuados.

Se garantiza que todas las solicitudes presentadas al controlador en la devolución de llamada de la función de devolución de llamada de evento EvtIoWrite sean solicitudes de escritura. Estas solicitudes no se pueden enviar mediante métodos KMDF diseñados específicamente para enviar solicitudes de lectura o IOCTL.

Las solicitudes de escritura no se pueden enviar a los métodos siguientes.

WdfUsbTargetPipeReadSynchronously

WdfIoTargetSendIoctlSynchronously,

WdfIoTargetSendInternalIoctlSynchronously,

WdfIoTargetSendInternalIoctlOthersSynchronously,

WdfIoTargetSendReadSynchronously.

Modelo de controlador: KMDF

Cómo probar

En tiempo de compilación

Ejecute el Comprobador de controladores estáticos y especifique la regla WriteReqs .

Usa los pasos siguientes para ejecutar un análisis de tu código:
  1. Prepara el código (usa declaraciones de tipos de rol).
  2. Ejecuta el comprobador de controlador estático.
  3. Consulta y analiza los resultados.

Para obtener más información, vea Usar comprobador de controladores estáticos para buscar defectos en controladores.

Se aplica a

WdfIoTargetSendInternalIoctlOthersSynchronouslyWdfIoTargetSendInternalIoctlSynchronouslyWdfIoTargetSendIoctlSynchronouslyWdfIoTargetSendReadSynchronouslyWdfUsbTargetPipeReadSynchronously