驱动程序的代码分析

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

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

本部分中的内容

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