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 modelWDM

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:
  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

IoCallDriver
IoCompleteRequest
IoMarkIrpPending
IoSetCompletionRoutine
IoSetCompletionRoutineEx
KeWaitForSingleObject
PoCallDriver

 

 

Send comments about this topic to Microsoft

Show:
© 2014 Microsoft. All rights reserved.