Export (0) Print
Expand All
This topic has not yet been rated - Rate this topic

Creating a log file for the code analysis tool

The Windows Server 2012 Hardware Certification Program requires a Driver Verification Log (DVL) for all applicable driver submissions. You must run the Code Analysis tool 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.

Hh454830.wedge(en-us,VS.85).gifTo run code analysis on the driver

  1. 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.
  2. From the Analyze or Build menu, click Run Code Analysis on Solution.
  3. If errors or warnings are found, use the Code Analysis Report window to investigate the cause of the errors. Use the warning messages to fix those problems. For more information about the Code Analysis tool, see How to run Code Analysis for drivers and Analyzing C/C++ Code Quality by Using Code Analysis.

The Code Analysis tool for drivers writes the results to the file vc.nativecodeanalysis.all.xml in the build configuration and platform sub-directory of your project, for example, \Windows 8Release\x64.

Remarks

Code Analysis for Drivers is a compile-time static verification tool that detects basic coding errors in C and C++ programs and includes a specialized module that is designed to detect errors in (primarily) kernel-mode driver code. In previous versions of the WDK, the driver-specific module for code analysis was part of a stand-alone tool called PREfast for Drivers (PFD).

You can also run the Code Analysis tool 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 the Code Analysis tool.

msbuild.exe <vcxprojectfile> /p:Configuration="Win8 Release" /P:Platform=x64 /target:clean
msbuild.exe <vcxprojectfile> /p:Configuration="Win8 Release" /P:Platform=x64 /P:RunCodeAnalysisOnce=True

For the most up-to-date information about the requirements for the Driver Verification Log, refer to the WDK Release Notes.

Related topics

Creating a driver verification log
Creating a log file for Static Driver Verifier
Code Analysis for Drivers
Hardware Certification Program
Analyzing C/C++ Code Quality by Using Code Analysis
How to run Code Analysis for drivers

 

 

Send comments about this topic to Microsoft

Show:
© 2014 Microsoft. All rights reserved.