Regla ReqSendFail (kmdf)

La regla ReqSendFail especifica que un controlador debe establecer el estado de finalización correcto en los casos en los que el método WdfRequestSend podría producir un error.

WdfRequestSend puede devolver FALSE si no puede enviar la solicitud, aunque la marca de WDF_REQUEST_SEND_OPTION_SEND_AND_FORGET esté establecida en las opciones de solicitud del controlador. En tal caso, el controlador debe completar la solicitud con un estado de finalización adecuado, llamando a WdfRequestComplete, WdfRequestCompleteWithInformation o WdfRequestCompleteWithPriorityBoost o llamando a WdfObjectDelete.

Modelo de controlador: KMDF

Cómo probar

En tiempo de compilación

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

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

WdfObjectDeleteWdfRequestCompleteWdfRequestCompleteWithInformationWdfRequestCompleteWithPriorityBoostWdfRequestReuseWdfRequestSend