用于验证驱动程序的工具
Windows 驱动程序工具包（WDK）包含几个非常全面的工具，这些工具旨在帮助你在开发过程中检测和更正驱动程序代码中的错误。 其中的许多工具可以早早地用于开发过程，这个时候它们最重要，可以为你节省最多的时间和精力。
这些验证工具在 WDK 文档中介绍，建议使用，因为每个工具以不同的方式检测不同类型的驱动程序错误。 这些工具比手动检查更高效。 这些工具可以检测标准驱动程序测试中通常找不到的错误，它们体现了经验丰富的驱动程序开发人员和 Windows 驱动程序接口设计器的专业知识。
为了获得最佳结果，请使用可在驱动程序上运行的所有工具。 如果省略这些工具中的任何一个，则可能错过了驱动程序中的严重 bug。
重要
Windows 硬件兼容性计划要求在我们的客户端和服务器操作系统上使用 CodeQL 进行静态工具徽标 (STL) 测试。 我们将继续在旧版产品上支持 SDV 和 CA。 我们强烈建议合作伙伴查看 CodeQL 对静态工具徽标测试的要求。 有关使用 CodeQL 的详细信息，请参阅 CodeQL 和静态工具徽标测试。
本部分首先简要介绍代码验证工具的特征，以及对 WDK 和 Windows 中包含的工具的调查，或从Microsoft获取。
本部分包括：
其他工具
如果你有权访问其他代码或驱动程序验证工具（来自其他源），除了 WDK 中的工具之外，还建议使用它们。 请务必使用驱动程序验证程序和内核地址清理器等工具，因为它们对 Windows 驱动程序的特定知识，但每个工具都以不同的方式查看代码，因此可以帮助你查找和修复不同类型的问题。