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.
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:
For more information, see Using Static Driver Verifier to Find Defects in Drivers.
Build date: 11/16/2013