CompleteRequestStatusCheck rule (wdm)

The CompleteRequestStatusCheck rule verifies that the I/O status value in the IRP matches the status value returned by the lower driver.

The driver's dispatch routine should not complete the IRP if the IRP status is STATUS_PENDING.

The driver's dispatch routine should not complete the IRP with STATUS_SUCCESS if the lower driver fails the IRP.

Driver model: WDM

How to test

At compile time
Run Static Driver Verifier and specify the CompleteRequestStatusCheck rule. Use the following steps to run an analysis of your code: Prepare your code (use role type declarations). Run Static Driver Verifier. View and analyze the results. For more information, see Using Static Driver Verifier to Find Defects in Drivers.

Run Static Driver Verifier and specify the CompleteRequestStatusCheck rule.

Use the following steps to run an analysis of your code:

IoAcquireRemoveLock IoCallDriver IoCompleteRequest IoMarkIrpPending IoSetCompletionRoutine IoSetCompletionRoutineEx KeWaitForSingleObject PoCallDriver