Edit

Share via

Warning rule set (Storport)

  • Article

Use these rules to verify that your driver can correctly processes IRPs in various contexts and follows Microsoft recommended best practices.

In this section

Topic Description

PagedCode

This rule verifies that when the PAGED_CODE macro is called, the driver is at IRQL < DISPATCH_LEVEL. Any code executing at IRQL >= DISPATCH_LEVEL must be in non-paged memory to avoid causing page faults.

StorPortStatusPending

This rule checks that an SRB is not completed with status SRB_STATUS_PENDING.

To select the Warning rule set

  1. Select your driver project (.vcxProj) in Microsoft Visual Studio. From the Driver menu, click Launch Static Driver Verifier….

  2. Click the Rules tab. Under Rule Sets, select Warning.

    To select the default rule set from a Visual Studio developer command prompt window, specify Warning.sdv with the /check option. For example:

    msbuild /t:sdv /p:Inputs="/check:Warning.sdv" mydriver.VcxProj /p:Configuration="Win8 Release" /p:Platform=Win32

    For more information, see Using Static Driver Verifier to Find Defects in Drivers and Static Driver Verifier commands (MSBuild).