驱动程式检查器（Driver Verifier）是Microsoft Windows中包含的一个工具，该工具的功能是将操作系统默认的子程序替换为专门为开发者捕获驱动程序缺陷所用的子程序。在启用该工具后，它将监控和凸显可能因驱动程序导致系统损坏的非法函数调用或操作。它可以模拟一些条件，如低内存、I/O验证、记忆池跟踪、IRQL检查、死锁检测、DMA检测、IRP记录等。检查器通过迫使驱动程序以最少的资源运行使其凸显不太容易发生的潜在缺陷。驱动程式检查器（Verifier.exe）在Windows 2000中