VIP10
本课程属于：100-安全驱动开发 Linux内核与驱动 · 共 10 门相关课程，组合学习更完整。
查看所属VIP全部课程 →
← 返回所属目录 咨询 / 购买

驱动异常处理与安全测试：MMU隔离故障的静态分析案例

共计 30 章节
点击此处阅读海量试读课程：100+行业、1000+细分领域
01
MMU基础概念
虚拟地址与物理地址映射原理 · 页表结构（Page Table）概述
MMU基础概念
02
MMU隔离机制
进程地址空间隔离 · 内核态与用户态隔离（SMEP/SMA…
MMU隔离机制
03
MMU故障类型
缺页异常（Page Fault） · 权限异常（Permission Fa… · 转换错误（Translation F…
MMU故障类型
04
驱动异常概述
驱动在内核空间运行的风险 · 非法内存访问的后果（内核恐慌/Oop…
驱动异常概述驱动
05
静态分析工具链
GCC静态检查 · Sparse · Smatch
静态分析工具链GCC
06
LLVM与Clang Static Analyzer
基于LLVM的驱动代码静态分析流程
LLVMClang
07
地址空间描述符（ASID）
ASID在TLB隔离中的作用 · ASID耗尽与故障分析
ASID地址空间描述符
08
页表遍历过程
硬件页表遍历（Page Table…
页表遍历过程Page
09
TLB一致性
TLB Shootdown机制 · 多核环境下的MMU隔离故障
TLB一致性
10
IOMMU与DMA隔离
IOMMU工作原理 · 驱动DMA绕过MMU的风险
IOMMUDMA
11
内核地址空间布局随机化（KASLR）
KASLR对MMU隔离的影响 · 静态分析中的地址偏移计算
KASLR内核地址空间布局…
12
驱动内存分配函数
kmalloc/vmalloc/__…
驱动内存分配函数kmalloc/vmal…
13
用户态指针验证
copy_from_user/cop…
用户态指针验证copy
14
空指针解引用
空指针在MMU隔离下的表现 · 静态分析中的NULL路径检测
空指针解引用MMU
15
释放后使用（UAF）
UAF导致MMU映射失效 · 静态分析中的生命周期追踪
UAF释放后使用
16
双重释放（Double Free）
双重释放对页表引用计数的影响 · 静态检测模式
DoubleFree
17
缓冲区溢出
栈溢出与堆溢出对MMU页表破坏的静态…
缓冲区溢出MMU
18
整数溢出与截断
整数溢出导致内存分配异常 · MMU映射大小错误
整数溢出截断
19
竞态条件
并发访问导致MMU映射不一致 · 静态分析中的锁与原子性检查
竞态条件MMU
20
驱动热插拔与MMU
设备热插拔时MMU映射清理的静态验证
MMU驱动热插拔
21
内核模块加载与卸载
模块加载时MMU映射建立 · 卸载时映射回收的静态分析
内核模块加载卸载
22
MMU故障注入测试
通过静态插桩模拟MMU故障（Page…
MMU故障注入测试
23
静态分析规则编写
基于Clang的Checker开发 · 自定义MMU隔离规则
静态分析规则编写Clang
24
符号执行与MMU
使用KLEE/SymCC对驱动进行符… · 探索MMU隔离路径
MMU符号执行
25
抽象解释与域分析
基于区间域的MMU地址范围静态推断
抽象解释域分析
26
污点分析
追踪用户态数据进入内核驱动 · 检测MMU隔离绕过
污点分析追踪用户态数据进…
27
案例一
UAF导致MMU页表损坏的静态分析实…
案例一UAF
28
案例二
DMA缓冲区未IOMMU映射导致数据…
案例二DMA
29
案例三
竞态条件下MMU映射重复释放的静态检…
案例三MMU
30
课程总结
MMU隔离故障静态分析的最佳实践与未…
课程总结MMU