Debug di un driver di terze parti con pdb e senza sorgente

Question

Ho un'immagine del disco che funziona bene e ha migliaia di ore di esecuzione senza schermate blu segnalate.Ho impostato un ciclo di riavvio e non ho visto una schermata blu dopo alcune dozzine di cicli.

Ho installato un driver di terze parti per un componente hardware e ora visualizzo una schermata blu ogni 3 o 4 avviamenti.Sembra che sia causato dalla corruzione del pool.

Ho abilitato il verificatore del driver per quel driver e ho controllato solo il pool speciale.Non apparirà più la schermata blu.Dopo aver disabilitato il verificatore, non riesco ancora a visualizzare le schermate blu.Questa è la seconda volta che seguo il processo e sembra ripetibile.

Sembra che stia impostando una sorta di flag quando rileva il verificatore: so che ci sono segnalazioni di produttori che imbrogliano WHQL in questo modo, anche se spero che ci sia qualche altra spiegazione.Non c'è nulla di ovvio nel registro e strings non trova nulla di utile nel file binario.

Il produttore ha fornito insieme al driver un pdb con simboli privati.Esiste un modo per curiosare utilizzando il file pdb senza eseguire effettivamente il driver e utilizzare un debugger del kernel?Apprezzerei anche altri suggerimenti per risolvere problemi come questo.

Grazie