Regla IrpCancelField (wdm)

  • Artículo

La regla IrpCancelField especifica que el controlador comprueba el valor del miembro Irp-Cancel> al establecer una rutina de cancelación en un IRP que tiene el lápiz.

Static Driver Verifier aplica esta regla al final de la rutina StartIo del controlador y al final de la rutina de distribución del controlador.

Para obtener información sobre cómo un controlador debe controlar la cancelación de IRP, consulte Sincronización de la cancelación de IRP.

Modelo de controlador: WDM

Cómo probar

En tiempo de compilación

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

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

IoCsqInsertIrpIoCsqInsertIrpExIoMarkIrpPendingIoSetCancelRoutine

Consulte también

Sincronización de la cancelación de IRP