Uso di Driver Verifier per trovare una perdita di memoria Kernel-Mode

Driver Verifier determina se un driver in modalità kernel perde memoria.

La funzionalità Rilevamento pool di Driver Verifier monitora le allocazioni di memoria effettuate da un driver specificato. Al momento del caricamento del driver, Driver Verifier verifica che tutte le allocazioni effettuate dal driver siano state liberate. Se alcune allocazioni del driver non sono state liberate, viene eseguito un controllo di bug e i parametri del controllo dei bug indicano la natura del problema.

Anche se questa funzionalità è attiva, usare l'interfaccia grafica di Gestione driver verifier per monitorare le statistiche di allocazione del pool. Se un debugger del kernel è collegato al driver, usare l'estensione !verifier 0x3 per visualizzare le statistiche di allocazione.

Se il driver usa Direct Memory Access (DMA), la funzionalità di verifica DMA di Driver Verifier è utile anche per trovare perdite di memoria. Test di verifica DMA per una serie di usi impropri comuni delle routine DMA, tra cui l'errore di liberare buffer comuni e altri errori che possono causare perdite di memoria. Se un debugger del kernel è collegato mentre questa opzione è attiva, usare l'estensione !dma per visualizzare le statistiche di allocazione.

Per informazioni su Driver Verifier, vedere Driver Verifier nella documentazione di Windows Driver Kit (WDK).