通过

静态驱动程序验证程序选项文件

  • 项目

静态驱动程序验证程序选项文件（sdv-default.xml）存储静态驱动程序验证程序的默认选项设置。 此文件是在 WDK 的 \tools\sdv\data\wdm 和 \tools\sdv\data\wdf 子目录中创建的。 可以编辑文件以更改选项设置并将其复制到任何驱动程序的源目录。

本部分包括：

全局和本地选项文件

选项文件字段

选项文件示例

重要

不再支持 SDV，并且 Windows 24H2 WDK 或 EWDK 版本中不提供 SDV。 它在版本 26017 之前的 WDK 中不可用，并且不包括在 Windows 24H2 RTM WDK 中。 通过从 下载 Windows 驱动程序工具包（WDK）下载 Windows 11 版本 22H2 EWDK（2023 年 10 月 24 日发布）和 Visual Studio 生成工具 17.1.5，仍可使用 SDV。 建议仅使用企业 WDK 运行 SDV。 不建议将旧版标准 WDK 与 Visual Studio 的最新版本结合使用，因为这可能会导致分析失败。
今后，CodeQL 将成为驱动程序的主要静态分析工具。 CodeQL 提供了一种功能强大的查询语言，可将代码视为要查询的数据库，使编写特定行为、模式等查询变得简单。 有关使用 CodeQL 的详细信息，请参阅 CodeQL 和静态工具徽标测试。