第2章检查驱动程序 在 Windows2000上, Driver verifier是新的可用工具,它执行几项测试和调试内核模式驱动程 序的任务 2.1 Driver Verifier Driver verifier是一可帮助监视一个或多个内核模式驱动程序以证实他们没有非法函数调用 或引起系统讹误的工具, Driver Verifier在目标驱动程序上执行广泛的测试和检査任务。例如,如 果驱动程序以非正当的IRQL使用了内存,不正当地调用或释放自旋锁和内存分配,或者释放内 存池时没有首先删除任何定时器, Driver verifier将发布合适的错误检查。 当未装载驱动程序时, Driver Verifier检査确信驱动程序已经正确地清理了队列、线程和其他 项目 此外, Driver verifier能够执行以下任何情况 ■从一个特别内存池分配驱动程序内存请求,该过程测试驱动程序是否访问它的内存分配之外 的内存,或者在释放它的分配之后访问内存。 通过使内存分页代码无效而给驱动程序极端的内存压力,这个过程揭示了访问分页内存的企 图,分页的内存发生在当错误的IRQL或当保留一自旋锁时 池分配的随机失效或其他的内存请求,该过程测试了驱动程序处理低内存状况的能力 未装载的驱动程序检查所有的内存分配,以确信驱动程序没有漏掉内存。 从一特别池分配驱动程序的IRP,监视驱动程序IO以处理其他不一致的行为 这些能力可以分别激活或禁止,此外, Driver verifier可同时用于任何数目的驱动程序。 下面的部分解释了驱动程序的工作方面 2.1.1 Driver verifier的能力 详细描述了 Driver verifier各个作用,它应用于除过图形驱动程序之外的所有内核模式驱动程 ■2.1.2图形驱动程序的 Driver verifier的能力 描述了 Driver verifier对内核模式图形驱动程序的作用,这里内核模式图形驱动程序使用了图 形驱动程序接口(GD)。 ■2.1.3激活和监视 Driver verifier 解释了怎样启动 Driver verifier,怎样选择所要的功能,怎样选择所要检査的驱动程序,也解 释了如何利用 Driver verifier manager来监视正被检查的驱动程序的行为。 注意: Driver verifier能够检査任何数目的驱动程序,然而,当特别内存池和IO检査选项同 时运用于一驱动程序时,其效果将更为有效。4 第2章 检查驱动程序 在 Windows2000 上，Driver Verifier 是新的可用工具，它执行几项测试和调试内核模式驱动程 序的任务。 2.1 Driver Verifier Driver Verifier 是一可帮助监视一个或多个内核模式驱动程序以证实他们没有非法函数调用 或引起系统讹误的工具，Driver Verifier 在目标驱动程序上执行广泛的测试和检查任务。例如，如 果驱动程序以非正当的 IRQL 使用了内存，不正当地调用或释放自旋锁和内存分配，或者释放内 存池时没有首先删除任何定时器，Driver Verifier 将发布合适的错误检查。 当未装载驱动程序时，Driver Verifier 检查确信驱动程序已经正确地清理了队列、线程和其他 项目。 此外，Driver Verifier 能够执行以下任何情况： ◼ 从一个特别内存池分配驱动程序内存请求，该过程测试驱动程序是否访问它的内存分配之外 的内存，或者在释放它的分配之后访问内存。 ◼ 通过使内存分页代码无效而给驱动程序极端的内存压力，这个过程揭示了访问分页内存的企 图，分页的内存发生在当错误的 IRQL 或当保留一自旋锁时。 ◼ 池分配的随机失效或其他的内存请求，该过程测试了驱动程序处理低内存状况的能力。 ◼ 未装载的驱动程序检查所有的内存分配，以确信驱动程序没有漏掉内存。 ◼ 从一特别池分配驱动程序的 IRP，监视驱动程序 I/O 以处理其他不一致的行为。 这些能力可以分别激活或禁止，此外，Driver Verifier 可同时用于任何数目的驱动程序。 下面的部分解释了驱动程序的工作方面： ◼ 2.1.1 Driver Verifier 的能力 详细描述了 Driver Verifier 各个作用,它应用于除过图形驱动程序之外的所有内核模式驱动程 序。 ◼ 2.1.2 图形驱动程序的 Driver Verifier 的能力 描述了 Driver Verifier 对内核模式图形驱动程序的作用，这里内核模式图形驱动程序使用了图 形驱动程序接口（GDI）。 ◼ 2.1.3 激活和监视 Driver Verifier 解释了怎样启动 Driver Verifier，怎样选择所要的功能，怎样选择所要检查的驱动程序，也解 释了如何利用 Driver Verifier Manager 来监视正被检查的驱动程序的行为。 注意：Driver Verifier 能够检查任何数目的驱动程序，然而，当特别内存池和 I/O 检查选项同 时运用于一驱动程序时，其效果将更为有效