Edit

StorPortBuildIo rule (storport)

  • Article

This rule verifies that if the StorPort miniport's StorPortBuildIo routine returns FALSE, the SRB in question is not passed to StartIo. (In such cases, the miniport driver must complete the SRB by calling StorPortNotification with a notification type of RequestComplete from StorPortBuildIo or someplace else).

Note

This rule is testing StorPort's correct operation, not the miniport's.

Driver model: Storport

How to test

At compile time

Run Static Driver Verifier and specify the StorPortBuildIo 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.