基于S2E的Use-After-Free漏洞检测方案

• 作者: 冯震 王轶骏 聂森 薛质
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: Use-after-free漏洞 漏洞检测 悬垂指针 污点传播 符号执行
• 年，卷（期）: 2016,（4）
• 所属期刊栏目: 安全技术
• 页码范围: 273-276
• 页数: 4页
• 分类号: TP3
• 字数: 4838字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2016.04.064

摘要

Use-After-Free漏洞是由程序试图操作悬垂指针引起的.该类型漏洞近年来在针对浏览器客户端的攻击中变得愈发流行.提出一种针对Use-After-Free漏洞的检测算法,并据此实现检测方案UAFChecker.UAFChecker基于开源的多路径软件分析平台S2E,它通过挂钩关键的堆内存操作函数监控指针的生成,使用反汇编引擎BeaEngine在汇编层上跟踪指针的传播,通过收集和分析指针信息来检测漏洞.实验结果表明,配合Fuzzing技术UAFChecker成功定位和分析出IE8浏览器中存在的多个未被公开的Use-After-Free漏洞.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	薛质	上海交通大学信息安全与工程学院	274	1489	18.0	25.0
2	王轶骏	上海交通大学信息安全与工程学院	80	388	10.0	15.0
3	聂森	上海交通大学信息安全与工程学院	3	6	1.0	2.0
4	冯震	上海交通大学信息安全与工程学院	2	5	1.0	2.0