通过

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

  • 项目

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

为 SDV 创建日志文件

  1. 在 Microsoft Visual Studio 中，选择驱动程序项目文件，然后选择并按住（或右键单击）以打开项目属性。
  2. 如果已运行代码分析工具，请按照运行静态驱动程序验证程序中的以下说明操作。 有关使用 SDV 的详细信息，请参阅“使用静态驱动程序验证程序查找驱动程序中的缺陷”
  3. 如果 SDV 发现你的驱动程序中存在缺陷，请在“结果”窗格中选择该缺陷，查看导致违反规则的代码路径的跟踪。 修复在驱动程序中找到的任何缺陷并再次运行 SDV。

静态驱动程序验证程序会将结果写入到项目的 SDV 子目录（例如 \myDriverProject\SDV）中的文件 SDV.DVL.xml。

注解

有关静态驱动程序验证程序和驱动程序验证日志的最新信息，请参阅“WDK 发行说明”。 发行说明可在 Windows 驱动程序工具包 (WDK) 下载页上找到。

重要

认证提交可以接受 DVL 文件出现超时、加宽行距和其他未成功结果。 这不会导致 HCK 中的静态工具测试失败。 对于 HCK 2.0，静态工具测试只需要 DVL 文件存在，就可证明已运行代码分析和 SDV，并不需要通过所有规则。

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

运行静态驱动程序验证程序。

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"