Defrag Tools: #17 - WinDbg - Driver Verifier - Part 2

Download

Right click “Save as…”

In this episode of Defrag Tools, Michael Fourre, senior test engineer from the Driver Verifier team, pays a visit to Larry Larsen and Chad Beeder in the Channel 9 studios to give us some deeper insight into this valuable tool for catching device driver bugs!

Resources:

Debugging Tools for Windows

About Driver Verifier

Timeline:
[00:00] Intro - Michael Fourre
[01:45] New Windows 8 feature: DDI compliance checking
[02:33] Verifier.exe: command line vs. GUI
[03:10] Looking at a Windows 8 verifier crash
[04:37] New Windows 8 verifier feature - VerifierExt.sys driver
[05:39] !ruleinfo tells you what the driver did wrong
[08:00] Best practices with Driver Verifier when you suspect a faulty driver
[09:03] Performance impact of enabling Driver Verifier
[10:37] Using !verifier in the debugger to view verifier settings and statistics
[11:50] Viewing IRQL transition log with !verifier 0x8
[13:13] What are IRQLs (Interrupt Request Levels)
[15:41] Does Driver Verifier make drivers behave differently?
[19:00] Other useful flags to use with !verifier
[22:10] Viewing kernel pool allocate/free log with !verifier 0x80
[22:45] Viewing IRP allocate/complete log with !verifier 0x100
[23:19] Disable verifier on the fly: !verifier -disable

Tags:

Follow the Discussion

Comments Closed

Comments have been closed since this content was published more than 30 days ago, but if you'd like to continue the conversation, please create a new thread in our Forums,
or Contact Us and let us know.