驱动程序的代码分析

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

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

本部分中的内容