IoBuildDeviceControlWaitTimeout rule (wdm)
The IoBuildDeviceControlWaitTimeout rule reports a defect if it detects that this driver will wait indefinitely until the lower driver returns, as the IRP’s event is required to be signaled in the completion routine.
Driver model: WDM
How to test
|At compile time|
Run Static Driver Verifier and specify the IoBuildDeviceControlWaitTimeout 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.
IoBuildDeviceIoControlRequest IoCallDriver KeInitializeEvent KeWaitForSingleObject PoCallDriver
Submit and view feedback for