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.
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