Regla MarkCancOnCancReqLocal (kmdf)
La regla MarkCancOnCancReqLocal especifica que no se puede llamar al método WdfRequestMarkCancelable dos veces consecutivas en la misma solicitud de E/S.
La regla MarkCancOnCancReqLocal realiza esta comprobación solo dentro de las funciones de devolución de llamada de cola de E/S predeterminadas.
Modelo de controlador: KMDF
Cómo probar
En tiempo de compilación |
---|
Ejecute el comprobador de controladores estáticos y especifique la regla MarkCancOnCancReqLocal . Usa los pasos siguientes para ejecutar un análisis de tu código:
Para obtener más información, consulte Uso del comprobador de controladores estáticos para buscar defectos en controladores. |
Se aplica a
WdfRequestCompleteWdfRequestCompleteWithInformationWdfRequestCompleteWithPriorityBoostWdfRequestMarkCancelableWdfRequestMarkCancelableExWdfRequestUnmarkCancelable