WmiForward rule (wdm)
The WmiForward rule specifies that the driver must forward WMI minor IRPs when forwarding is required.
Specifically, when the driver calls WmiSystemControl and the value of the IrpDisposition parameter is IrpForward, the driver must call IoCallDriver or PoCallDriver to forward the IRP before returning from the dispatch routine.
This rule does not apply to bus drivers.
A WMI minor IRP is an IRP_MJ_SYSTEM_CONTROL request with a WMI minor function code.
How to test
|At compile time|
Run Static Driver Verifier and specify the WmiForward 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.