代码分析和验证工具可以通过对源代码进行系统分析来帮助提高驱动程序的稳定性和可靠性。代码分析和验证工具可以检测到编译器以及传统运行时测试遗漏的错误。此外，它们还可以确定驱动程序是否与 Windows 操作系统内核正常交互。使用 Microsoft Visual Studio Ultimate 2012 和 Windows 驱动程序工具包 (WDK) 可以将代码分析和验证工具配置为作为构建过程的一部分运行，也可以安排这些工具在预定的时间分析驱动程序。
Windows 驱动程序的 C/C++ 代码分析工具
Windows 8 版本的 WDK 对 Visual Studio 附带的 C/C++ 代码分析工具进行了一些改进。具体来说，此 WDK 提供一个专门的驱动程序模块，专门用于检测内核模式驱动程序代码中的错误。 该驱动程序模块被集成到 C/C++ 代码分析工具中。
**何时使用：**可以在开发周期的早期对驱动程序运行 C/C++ 代码分析工具，一旦代码正确编译就可以运行。
有关 Visual Studio 中代码分析工具的信息，请参阅：
注意 在早期版本的 WDK 中，用来进行代码分析的特定于驱动程序的模块是一款名为 PREfast for Drivers (PFD) 的独立工具的一部分。PREfast for Drivers 也已经集成到 WDK 构建环境中，作为 Microsoft Automated Code Review (OACR) 的一部分。
静态驱动程序验证程序
静态驱动程序验证程序 (SDV) 为静态验证工具，该工具可对 Windows 内核模式驱动程序的源代码进行系统分析。SDV 还可以确定驱动程序是否与 Windows 操作系统内核正常交互。SDV 可以从 Visual Studio 的“驱动程序”菜单启动，也可以从“Visual Studio 命令提示符”****窗口启动。
**何时使用：**在开发周期早期对正常编译的驱动程序运行静态驱动程序验证程序。开始测试周期之前，运行静态驱动程序验证程序。
有关静态驱动程序验证程序的信息，请参阅：
注意 在早期版本的 WDK 中，静态驱动程序验证程序是可以从 WDK 构建环境窗口启动的一个独立工具。