基于符号执行的自动利用生成系统

• 作者: 万云鹏 张阳 石东辉 程亮 邓艺
• 来源期刊: 计算机系统应用
• 关键词: 自动利用生成 符号执行 路径追踪 符号内存
• 年，卷（期）: 2017,（10）
• 所属期刊栏目: 系统建设
• 页码范围: 44-52
• 页数: 9页
• 字数: 8245字
• 语种: 中文
• DOI: 10.15888/j.cnki.csa.005991

摘要

在本文中,我们提出BAEG,一个自动寻找二进制程序漏洞利用的系统.BAEG为发现的每一个漏洞产生一个控制流劫持的利用,因此保证了它所发现的漏洞都是安全相关并且可利用的.BAEG针对输入造成程序崩溃的情况进行分析,面临的挑战主要有两点:1)如何重现崩溃路径,获取崩溃状态;2)如何自动生成控制流劫持利用.对于第一点,本论文提出路径导向算法,将崩溃输入作为符号值,重现崩溃路径.对于第二点,我们总结多种控制流劫持的利用原理,建立对应的利用产生模型.此外,对于非法符号读、写操作,BAEG还可以让程序从崩溃点继续执行,探索程序深层次代码,检测崩溃路径逻辑深处是否还有利用点.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	程亮	中国科学院软件研究所	18	152	6.0	12.0
2	张阳	中国科学院软件研究所	53	239	9.0	14.0
3	万云鹏		1	1	1.0	1.0
7	邓艺	中国科学院软件研究所	8	30	3.0	5.0
8	石东辉	深圳大学深圳南特商学院	2	1	1.0	1.0