驱动程序的代码分析

驱动程序的代码分析是编译时使用的静态验证工具，它检测 C 和 C++ 程序中的基本编码错误，并包括专门检测（主要）内核模式驱动程序代码中的错误的专用模块。

在 WDK 的以前版本中，代码分析的驱动程序特定模块是称为 PREfast for Drivers (PFD) 的独立工具的一部分。 PREfast for Drivers 也已集成到 WDK 生成环境中，是 Microsoft 自动代码审查 (OACR) 的一部分。 从 Windows 驱动程序工具包 （WDK） 8 开始，特定于驱动程序的功能已与 使用代码分析工具分析应用程序质量集成。

重要

Windows 硬件兼容性计划要求在我们的客户端和服务器操作系统上使用 CodeQL 进行静态工具徽标 (STL) 测试。 我们将继续在旧版产品上支持 SDV 和 CA。 我们强烈建议合作伙伴查看 CodeQL 对静态工具徽标测试的要求。 有关使用 CodeQL 的详细信息，请参阅 CodeQL 和静态工具徽标测试。

本节内容

• 驱动程序的代码分析概述
• 如何为驱动程序运行“代码分析”
• 适用于 Windows 驱动程序的 SAL 2 批注
• 驱动程序代码分析警告

重要

驱动程序的代码分析在 Windows 24H2 WDK 和 EWDK 中可用，但建议它在将来的日期停用。
今后，CodeQL 将成为驱动程序的主要静态分析工具。 CodeQL 提供了一种功能强大的查询语言，可将代码视为要查询的数据库，使编写特定行为、模式等查询变得简单。 有关使用 CodeQL 的详细信息，请参阅 CodeQL 和静态工具徽标测试。