Uso del comprobador de controladores para buscar una pérdida de memoria de Kernel-Mode

El Comprobador de controladores determina si un controlador en modo kernel está filtrando memoria.

La característica De seguimiento de grupos del Comprobador de controladores supervisa las asignaciones de memoria realizadas por un controlador especificado. En el momento en que se descarga el controlador, el comprobador del controlador comprueba que todas las asignaciones realizadas por el controlador se han liberado. Si no se han liberado algunas de las asignaciones del controlador, se emite una comprobación de errores y los parámetros de la comprobación de errores indican la naturaleza del problema.

Mientras esta característica está activa, use la interfaz gráfica driver Verifier Manager para supervisar las estadísticas de asignación del grupo. Si un depurador de kernel está asociado al controlador, use la extensión !comprobador 0x3 para mostrar las estadísticas de asignación.

Si el controlador usa el acceso directo a memoria (DMA), la característica comprobación de DMA del comprobador de controladores también es útil para encontrar fugas de memoria. Las pruebas de comprobación de DMA para una serie de usos incorrectos comunes de las rutinas de DMA, incluidos errores al liberar búferes comunes y otros errores que pueden provocar pérdidas de memoria. Si se adjunta un depurador de kernel mientras esta opción está activa, use la extensión !dma para mostrar las estadísticas de asignación.

Para obtener información sobre el Comprobador de controladores, consulta Comprobador de controladores en la documentación del Kit de controladores de Windows (WDK).