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

Windows 硬件认证计划需要驱动程序验证日志(DVL)进行驱动程序提交。 在为驱动程序创建 DVL 之前,可能需要运行代码分析工具。 DVL 可以包含 CodeQL、代码分析和静态驱动程序验证程序日志文件等工具的结果摘要。 日志文件不包含源代码信息。 有关其他详细信息,请参阅 静态工具徽标测试和 CodeQL 和静态工具徽标测试

对驱动程序运行代码分析

  1. 在 Microsoft Visual Studio 中,选择驱动程序项目文件,然后选择并按住(或右键单击)以打开项目属性。
  2. 从“分析”或“生成”菜单中,选择“对解决方案运行 Code Analysis”
  3. 如果发现错误或警告,请使用“代码分析报告”窗口调查错误产生的原因。 使用警告消息解决这些问题。 有关代码分析工具的详细信息,请参阅如何为驱动程序运行代码分析使用“代码分析”分析 C/C++ 代码质量

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

注解

驱动程序的代码分析是编译时使用的静态验证工具,它检测 C 和 C++ 程序中的基本编码错误,并包括专门检测(主要)内核模式驱动程序代码中的错误的专用模块。 在 WDK 的以前版本中,代码分析的驱动程序特定模块是称为 PREfast for Drivers (PFD) 的独立工具的一部分。

Visual Studio 命令提示符窗口

你还可以从“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

运行代码分析工具。 为提交使用相应的 Windows 版本。

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 发行说明”。