드라이버 검증 도구를 사용하여 Kernel-Mode 메모리 누수 찾기

드라이버 검증 도구는 커널 모드 드라이버가 메모리를 누수하는지 여부를 확인합니다.

드라이버 검증 도구의 풀 추적 기능은 지정된 드라이버의 메모리 할당을 모니터링합니다. 드라이버가 언로드될 때 드라이버 검증 도구는 드라이버에서 수행한 모든 할당이 해제되었는지 확인합니다. 드라이버의 할당 중 일부가 해제되지 않은 경우 버그 검사 실행되고 버그의 매개 변수는 문제의 특성을 나타낼 검사 있습니다.

이 기능이 활성화되어 있는 동안 드라이버 검증 도구 관리자 그래픽 인터페이스를 사용하여 풀 할당 통계를 모니터링합니다. 커널 디버거가 드라이버에 연결된 경우 !verifier 0x3 확장을 사용하여 할당 통계를 표시합니다.

드라이버가 DMA(직접 메모리 액세스)를 사용하는 경우 드라이버 검증 도구의 DMA 확인 기능은 메모리 누수도 찾는 데 유용합니다. DMA 확인은 일반적인 버퍼를 해제하지 못함 및 메모리 누수로 이어질 수 있는 기타 오류를 포함하여 DMA 루틴의 일반적인 오용을 테스트합니다. 이 옵션이 활성 상태인 동안 커널 디버거가 연결된 경우 !dma 확장을 사용하여 할당 통계를 표시합니다.

드라이버 검증 도구에 대한 자세한 내용은 WDK(Windows 드라이버 키트) 설명서의 드라이버 검증 도구를 참조하세요.