StorPortBuildIo rule (storport)

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 modelStorport

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.

 

 

Send comments about this topic to Microsoft

Show: