驱动程序验证程序确定内核模式驱动程序是否正在泄漏内存。
驱动程序验证程序的池跟踪功能监视指定驱动程序进行的内存分配。 卸载驱动程序时，驱动程序验证程序会验证驱动程序所做的所有分配是否已释放。 如果尚未释放驱动程序的某些分配，则会发出 bug 检查，bug 的参数检查指示问题的性质。
当此功能处于活动状态时，请使用驱动程序验证程序管理器图形界面来监视池分配统计信息。 如果内核调试器附加到驱动程序，请使用 ！verifier 0x3 扩展来显示分配统计信息。
如果驱动程序使用直接内存访问 (DMA) ，则驱动程序验证程序的 DMA 验证功能也有助于查找内存泄漏。 DMA 验证测试许多常见的 DMA 例程误用，包括无法释放常见缓冲区和其他可能导致内存泄漏的错误。 如果在此选项处于活动状态时附加了内核调试器，请使用 ！dma 扩展显示分配统计信息。
有关驱动程序验证程序的信息，请参阅 Windows 驱动程序工具包 (WDK) 文档中的驱动程序 验证程序 。