首页
›
Linux内核与驱动
›
180-Windows驱动调试
›
《Windows Driver Verifier驱动验证与故障诊断》
VIP10
本课程属于:180-Windows驱动调试
Linux内核与驱动 · 共 10 门相关课程,组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录
咨询 / 购买
Windows Driver Verifier驱动验证与故障诊断
共计 30 章节
点击此处阅读海量试读课程:100+行业、1000+细分领域
01
Driver Verifier概述
什么是Driver Verifier · 核心功能(内存池检测 · IRQL检查
Driver
Verifier
02
Driver Verifier架构原理
Verifier与操作系统内核的交互… · 回调钩子(Verifier Call… · 验证层(Verification L…
Driver
Verifier
03
启用与配置Driver Verifier
使用Verifier.exe命令行工… · 图形界面(GUI)配置 · 持久化设置与注册表项
Driver
Verifier
04
内存池检测机制(Pool Tracking)
池分配与释放追踪 · 池标签(Pool Tag)的作用 · 内存泄漏检测原理
Pool
Tracking
05
特殊内存池(Special Pool)
特殊池的分配策略 · 溢出/下溢检测(Guard Page… · 启用与性能影响
Special
Pool
06
IRQL检查(IRQL Checking)
IRQL提升与恢复规则 · 常见违规场景(如Page Fault… · 验证器如何捕获违规
IRQL
Checking
07
DMA验证(DMA Verification)
DMA缓冲区一致性 · 适配器对象验证 · 常见DMA错误模式
DMA
Verification
08
I/O验证(I/O Verification)
IRP处理路径检查 · I/O栈位置验证 · 驱动完成例程的合规性
I/O
Verification
09
死锁检测(Deadlock Detection)
锁获取顺序验证 · 递归锁检测 · 死锁场景模拟与捕获
Deadlock
Detection
10
安全字符串验证(Safe String Verification)
安全字符串函数(如RtlString…
Safe
String
11
内核句柄验证(Handle Verification)
句柄引用计数 · 句柄表操作合法性 · 句柄泄漏检测
Handle
Verification
12
电源管理验证(Power Management Verification)
IRP_MJ_POWER处理规则 · 设备电源状态转换检查
Power
Management
13
WMI验证(WMI Verification)
WMI提供者注册与注销 · 数据块一致性检查
WMI
Verification
14
内核内存一致性检查(Kernel Memory Consistency)
内存损坏检测(如Pool Heade… · 双重释放检测
Kernel
Memory
15
驱动程序验证器日志(Verifier Log)
日志生成机制 · 日志内容解读(BugCheck 0x… · 0xE6等)
Verifier
Log
16
常见BugCheck代码分析(上)
0xC4(DRIVER_VERIFI…
BugCheck
常见
17
常见BugCheck代码分析(下)
0xE6(DRIVER_VERIFI… · 0xCA(PNP_DETECTED_…
BugCheck
常见
18
WinDbg与Driver Verifier联动
使用WinDbg分析Verifier… · !analyze -v命令解读
WinDbg
Driver
19
!verifier扩展命令详解
!verifier · !pool · !poolused
verifier
扩展命令详解
20
内存泄漏定位实战
通过Pool Tag追踪未释放内存 · 结合!poolfind与!poolv…
内存泄漏定位实战
Pool
21
内存损坏定位实战
利用Special Pool捕获缓冲… · 分析损坏的Pool Header
内存损坏定位实战
Special
22
IRQL违规定位实战
分析BugCheck 0xD1(DR…
IRQL
违规定位实战
23
死锁问题定位实战
使用!locks与!deadlock…
死锁问题定位实战
locks
24
DMA问题定位实战
分析DMA缓冲区映射错误 · 验证适配器对象状态
DMA
问题定位实战
25
I/O验证问题定位实战
分析IRP完成路径错误 · I/O栈位置越界
I/O
验证问题定位实战
26
驱动调试环境搭建
配置双机调试(KDNET/串口) · 设置符号路径 · 加载驱动符号
驱动调试环境搭建
KDNET
27
条件断点与日志跟踪
在WinDbg中设置条件断点 · 使用DbgPrint/WPP软件跟踪…
条件断点
日志跟踪
28
Driver Verifier性能调优
选择性验证(按驱动/按功能) · 降低Special Pool采样率 · 生产环境最佳实践
Driver
Verifier
29
Driver Verifier与测试自动化
集成到WHLK测试 · 使用脚本自动化启用/禁用Verifi…
Driver
Verifier
30
综合案例
从崩溃转储到根因分析 · 涵盖Verifier配置 · 崩溃分析
综合案例
从崩溃转储到根因…
所属VIP或分类
同VIP:BugCheck-0xD1与驱动DMA操作错误分析
同VIP:IRQL级别排查:结合WinDbg分析DPC超时与驱动崩溃
同VIP:WHQL认证驱动在Windows更新后的兼容调试