Edit

Share via

IrpCancelField rule (wdm)

  • Article

The IrpCancelField rule specifies that the driver check the value of the Irp->Cancel member when setting a cancel routine on an IRP that it has pended.

Static Driver Verifier applies this rule at the end of the driver's StartIo routine and at the end of the driver's dispatch routine.

For information about how a driver should handle IRP cancellation, see Synchronizing IRP Cancellation.

Driver model: WDM

How to test

At compile time

Run Static Driver Verifier and specify the IrpCancelField rule.

Use the following steps to run an analysis of your code:
  1. Prepare your code (use role type declarations).
  2. Run Static Driver Verifier.
  3. View and analyze the results.

For more information, see Using Static Driver Verifier to Find Defects in Drivers.

Applies to

IoCsqInsertIrp IoCsqInsertIrpEx IoMarkIrpPending IoSetCancelRoutine

See also

Synchronizing IRP Cancellation