EDN Admin
Well-known member
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! Resource s: http://msdn.microsoft.com/en-us/windows/hardware/gg463009.aspx Debugging Tools for Windows http://msdn.microsoft.com/en-us/library/windows/hardware/gg487310.aspx About Driver Verifier Timeline:
http://channel9.msdn.com/Shows/Defrag-Tools/Defrag-Tools-17-WinDbg-Driver-Verifier-Part-2#time=00m00s [00:00] Intro - Michael Fourre
http://channel9.msdn.com/Shows/Defrag-Tools/Defrag-Tools-17-WinDbg-Driver-Verifier-Part-2#time=01m45s [01:45] New Windows 8 feature: DDI compliance checking
http://channel9.msdn.com/Shows/Defrag-Tools/Defrag-Tools-17-WinDbg-Driver-Verifier-Part-2#time=02m33s [02:33] Verifier.exe: command line vs. GUI
http://channel9.msdn.com/Shows/Defrag-Tools/Defrag-Tools-17-WinDbg-Driver-Verifier-Part-2#time=03m10s [03:10] Looking at a Windows 8 verifier crash
http://channel9.msdn.com/Shows/Defrag-Tools/Defrag-Tools-17-WinDbg-Driver-Verifier-Part-2#time=04m37s [04:37] New Windows 8 verifier feature - VerifierExt.sys driver
http://channel9.msdn.com/Shows/Defrag-Tools/Defrag-Tools-17-WinDbg-Driver-Verifier-Part-2#time=05m39s [05:39] !ruleinfo tells you what the driver did wrong
http://channel9.msdn.com/Shows/Defrag-Tools/Defrag-Tools-17-WinDbg-Driver-Verifier-Part-2#time=08m00s [08:00] Best practices with Driver Verifier when you suspect a faulty driver
http://channel9.msdn.com/Shows/Defrag-Tools/Defrag-Tools-17-WinDbg-Driver-Verifier-Part-2#time=09m03s [09:03] Performance impact of enabling Driver Verifier
http://channel9.msdn.com/Shows/Defrag-Tools/Defrag-Tools-17-WinDbg-Driver-Verifier-Part-2#time=10m37s [10:37] Using !verifier in the debugger to view verifier settings and statistics
http://channel9.msdn.com/Shows/Defrag-Tools/Defrag-Tools-17-WinDbg-Driver-Verifier-Part-2#time=11m50s [11:50] Viewing IRQL transition log with !verifier 0x8
http://channel9.msdn.com/Shows/Defrag-Tools/Defrag-Tools-17-WinDbg-Driver-Verifier-Part-2#time=13m13s [13:13] What are IRQLs (Interrupt Request Levels)
http://channel9.msdn.com/Shows/Defrag-Tools/Defrag-Tools-17-WinDbg-Driver-Verifier-Part-2#time=15m41s [15:41] Does Driver Verifier make drivers behave differently?
http://channel9.msdn.com/Shows/Defrag-Tools/Defrag-Tools-17-WinDbg-Driver-Verifier-Part-2#time=19m00s [19:00] Other useful flags to use with !verifier
http://channel9.msdn.com/Shows/Defrag-Tools/Defrag-Tools-17-WinDbg-Driver-Verifier-Part-2#time=22m10s [22:10] Viewing kernel pool allocate/free log with !verifier 0x80
http://channel9.msdn.com/Shows/Defrag-Tools/Defrag-Tools-17-WinDbg-Driver-Verifier-Part-2#time=22m45s [22:45] Viewing IRP allocate/complete log with !verifier 0x100
http://channel9.msdn.com/Shows/Defrag-Tools/Defrag-Tools-17-WinDbg-Driver-Verifier-Part-2#time=23m19s [23:19] Disable verifier on the fly: !verifier -disable <img src="http://m.webtrends.com/dcs1wotjh10000w0irc493s0e_6x1g/njs.gif?dcssip=channel9.msdn.com&dcsuri=http://channel9.msdn.com/Feeds/RSS&WT.dl=0&WT.entryid=Entry:RSSView:65681f69f5c24c36b3d3a1190172cdcc
View the full article
http://channel9.msdn.com/Shows/Defrag-Tools/Defrag-Tools-17-WinDbg-Driver-Verifier-Part-2#time=00m00s [00:00] Intro - Michael Fourre
http://channel9.msdn.com/Shows/Defrag-Tools/Defrag-Tools-17-WinDbg-Driver-Verifier-Part-2#time=01m45s [01:45] New Windows 8 feature: DDI compliance checking
http://channel9.msdn.com/Shows/Defrag-Tools/Defrag-Tools-17-WinDbg-Driver-Verifier-Part-2#time=02m33s [02:33] Verifier.exe: command line vs. GUI
http://channel9.msdn.com/Shows/Defrag-Tools/Defrag-Tools-17-WinDbg-Driver-Verifier-Part-2#time=03m10s [03:10] Looking at a Windows 8 verifier crash
http://channel9.msdn.com/Shows/Defrag-Tools/Defrag-Tools-17-WinDbg-Driver-Verifier-Part-2#time=04m37s [04:37] New Windows 8 verifier feature - VerifierExt.sys driver
http://channel9.msdn.com/Shows/Defrag-Tools/Defrag-Tools-17-WinDbg-Driver-Verifier-Part-2#time=05m39s [05:39] !ruleinfo tells you what the driver did wrong
http://channel9.msdn.com/Shows/Defrag-Tools/Defrag-Tools-17-WinDbg-Driver-Verifier-Part-2#time=08m00s [08:00] Best practices with Driver Verifier when you suspect a faulty driver
http://channel9.msdn.com/Shows/Defrag-Tools/Defrag-Tools-17-WinDbg-Driver-Verifier-Part-2#time=09m03s [09:03] Performance impact of enabling Driver Verifier
http://channel9.msdn.com/Shows/Defrag-Tools/Defrag-Tools-17-WinDbg-Driver-Verifier-Part-2#time=10m37s [10:37] Using !verifier in the debugger to view verifier settings and statistics
http://channel9.msdn.com/Shows/Defrag-Tools/Defrag-Tools-17-WinDbg-Driver-Verifier-Part-2#time=11m50s [11:50] Viewing IRQL transition log with !verifier 0x8
http://channel9.msdn.com/Shows/Defrag-Tools/Defrag-Tools-17-WinDbg-Driver-Verifier-Part-2#time=13m13s [13:13] What are IRQLs (Interrupt Request Levels)
http://channel9.msdn.com/Shows/Defrag-Tools/Defrag-Tools-17-WinDbg-Driver-Verifier-Part-2#time=15m41s [15:41] Does Driver Verifier make drivers behave differently?
http://channel9.msdn.com/Shows/Defrag-Tools/Defrag-Tools-17-WinDbg-Driver-Verifier-Part-2#time=19m00s [19:00] Other useful flags to use with !verifier
http://channel9.msdn.com/Shows/Defrag-Tools/Defrag-Tools-17-WinDbg-Driver-Verifier-Part-2#time=22m10s [22:10] Viewing kernel pool allocate/free log with !verifier 0x80
http://channel9.msdn.com/Shows/Defrag-Tools/Defrag-Tools-17-WinDbg-Driver-Verifier-Part-2#time=22m45s [22:45] Viewing IRP allocate/complete log with !verifier 0x100
http://channel9.msdn.com/Shows/Defrag-Tools/Defrag-Tools-17-WinDbg-Driver-Verifier-Part-2#time=23m19s [23:19] Disable verifier on the fly: !verifier -disable <img src="http://m.webtrends.com/dcs1wotjh10000w0irc493s0e_6x1g/njs.gif?dcssip=channel9.msdn.com&dcsuri=http://channel9.msdn.com/Feeds/RSS&WT.dl=0&WT.entryid=Entry:RSSView:65681f69f5c24c36b3d3a1190172cdcc
View the full article
