驱动程序的代码分析

  • 项目

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

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

重要

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

本节内容