Creating a Driver Verification Log
The Windows Server 2012 Hardware Certification Program requires a Driver Verification Log (DVL) for all applicable driver submissions. The DVL contains a summary of the results from the Code Analysis and Static Driver Verifier log files. The DVL does not contain any source information. You must run the Code Analysis tool and Static Driver Verifier prior to creating a DVL for your driver.
To create a driver verification log
- Before running the Code Analysis tools, be sure that you can build and link your driver using the Windows Driver Kit (WDK) for Windows 8.
- For the Driver Solution, make sure that you have selected Windows 8 as the Solution Configuration and x64 as the Solution Platform.
- Run the Code Analysis tool for drivers. Address and fix any defects that are found. See Creating a log file for the code analysis tool and How to run Code Analysis for Drivers. For more information about code analysis, see Analyzing C/C++ Code Quality by Using Code Analysis.
- Run Static Driver Verifier. For information about creating the log file, see Creating a log file for Static Driver Verifier and Using Static Driver Verifier to find defects in drivers.
- Create the Driver Verification Log. From the Driver menu, click Create Driver Verification Log....
- Verify that both the Code Analysis Log and the Static Driver Verifier Log files are detected. Click Create.
The driver verification log has the file name extension .DVL.XML. The log is created in the project folder, for example, \myDriverProject\myDriverName.DVL.XML.
Note When you are ready to test your driver using the Windows Hardware Certification Kit (HCK), you need to copy the driver verification log to the %systemdrive%\DVL directory on the test computer. Be sure to delete the contents of the directory on the test computer before you copy the new driver verification log.
For the most up-to-date information about the Code Analysis tool, 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 create the driver verification log 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
Create the driver verification log.
msbuild.exe <vcxprojectfile> /target:dvl /p:Configuration="Win8 Release" /P:Platform=x64
- Creating a log file for Static Driver Verifier
- Creating a log file for the code analysis tool
- Hardware Certification Program
- Analyzing Driver Quality by Using Code Analysis Tools
- How to run Code Analysis for drivers
- Using Static Driver Verifier to find defects in drivers
Build date: 1/21/2013