IrpCancelField rule (wdm)
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.
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:
For more information, see Using Static Driver Verifier to Find Defects in Drivers.