title | description | ms.date |
---|---|---|
Warning Rule Set (Storport) |
Learn about using rules (Storport) to verify that your driver can correctly processes IRPs in various contexts and follow Microsoft recommended best practices. |
05/21/2018 |
Use these rules to verify that your driver can correctly processes IRPs in various contexts and follows Microsoft recommended best practices.
Topic | Description |
---|---|
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. |
|
This rule checks that an SRB is not completed with status SRB_STATUS_PENDING. |
To select the Warning rule set
-
Select your driver project (.vcxProj) in Microsoft Visual Studio. From the Driver menu, click Launch Static Driver Verifier….
-
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).