Creating a log file for Static Driver Verifier

The Windows Hardware Certification Program requires a Driver Verification Log (DVL) for driver submissions. You may need to run Static Driver Verifier prior to creating a DVL for your driver. The DVL can contain a summary of the results from tools such as CodeQL, Code Analysis and Static Driver Verifier. The log files do not contain source code information. For additional details, see Static Tools Logo Test and CodeQL and the Static Tools Logo Test.

Create the log file for SDV

  1. In Microsoft Visual Studio, select the driver project file and then select and hold (or right-click) to open the project properties.
  2. If you have already run the Code Analysis tool, follow these instructions for running Static Driver Verifier. For more information about using SDV, see Using Static Driver Verifier to Find Defects in Drivers
  3. If SDV finds defects in your driver, select the defect in the Results pane to view a trace of the code path that led to the rule violation. Fix any defects found in the driver and run SDV again.

Static Driver Verifier writes the results to the file SDV.DVL.xml in the SDV sub-directory of your project, for example, \myDriverProject\SDV.

Remarks

For the most up-to-date information about Static Driver Verifier and the Driver Verification Log, refer to the WDK Release Notes. The Release Notes are available on the Windows Driver Kit (WDK) download page.

Important

Timeouts, spaceouts, and other non-successful results in the DVL file are acceptable for certification submission. This will not cause the Static Tools test in HCK to fail. For HCK 2.0, the Static Tools Test only requires the presence of DVL file to show Code Analysis and SDV had been run, and does not require all rules to pass.

Visual Studio Command Prompt window

You can also run Static Driver Verifier from a Visual Studio Command Prompt window. Set up the environment by running one of the following batch files.

"C:\Program Files\Microsoft Visual Studio 11.0\VC\vcvarsall.bat" x64

-Or-

"C:\Program Files (x86)\Microsoft Visual Studio 11.0\VC\vcvarsall.bat" x64

Run Static Driver Verifier.

msbuild.exe <vcxprojectfile> /p:Configuration="Win8 Release" /p:Platform=x64 /target:sdv /p:inputs="/clean"
msbuild.exe <vcxprojectfile> /p:Configuration="Win8 Release" /p:Platform=x64 /target:sdv /p:inputs="/check:default.sdv"