为代码分析工具创建日志文件

Windows Server 2012 硬件认证计划要求所有适用的驱动程序提交都提供驱动程序验证日志 (DVL)。为你的驱动程序创建 DVL 之前,必须运行代码分析工具。DVL 包含来自代码分析和静态驱动程序验证程序日志文件的结果摘要。日志文件不包含源代码信息。

Hh454830.wedge(zh-cn,VS.85).gif在驱动程序上运行代码分析的步骤

  1. 在 Microsoft Visual Studio Ultimate 2012 中,选择驱动程序项目文件,然后右键单击以打开项目属性。选择 Windows 8 Release 作为“配置”,而 x64 作为“平台”。
  2. 从“分析”或“构建”菜单中,单击“在解决方案上运行代码分析”
  3. 如果发现了错误或警告,则使用“代码分析报告”窗口调查错误的原因。使用警告消息来解决这些问题。有关代码分析工具的详细信息,请参阅如何为驱动程序运行代码分析使用代码分析分析 C/C++ 代码质量

驱动程序的代码分析工具将结果写入项目的构建配置和平台子目录(例如,\Windows 8Release\x64)中的文件 vc.nativecodeanalysis.all.xml。

备注

驱动程序的代码分析是一个编译时静态验证工具,该工具可检测 C 和 C++ 程序中的基本编码错误,并且该工具包含一个特殊的模块,该模块用于检测(主要)内核模式驱动程序代码中的错误。在早期版本的 WDK 中,用来进行代码分析的特定于驱动程序的模块是一款名为 PREfast for Drivers (PFD) 的独立工具的一部分。

也可以从 Visual Studio 命令提示符窗口运行代码分析工具。通过运行以下批处理文件之一来设置环境。

"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

运行代码分析工具。

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

有关驱动程序验证日志的要求的最新信息,请参阅 WDK 发行说明。

相关主题

创建驱动程序验证日志

为静态驱动程序验证程序创建日志文件

驱动程序代码分析

硬件认证计划

使用代码分析分析 C/C++ 代码质量

如何运行驱动程序代码分析