Creating a log file for Static Driver Verifier
The Windows Server 2012 Hardware Certification Program requires a Driver Verification Log (DVL) for all applicable driver submissions. You must run Static Driver Verifier (SDV) prior to creating a DVL for your driver. The DVL contains a summary of the results from the Code Analysis and Static Driver Verifier log files. The log files do not contain source code information.
For best results, run the Code Analysis tool before you run Static Driver Verifier.
To create a log file for Static Driver Verifier
- In Microsoft Visual Studio Ultimate 2012, select the driver project file and then right-click to open the project properties. Select Windows 8 Release as the Configuration and x64 as the Platform.
- 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
- If SDV finds defects in your driver, click 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.
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.
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
"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"
- Creating a driver verification log
- Static Driver Verifier
- Using Static Driver Verifier to Find Defects in Drivers
- Hardware Certification Program
Build date: 1/23/2014