基于符号执行的缓冲区溢出漏洞自动化利用

• 作者: 崔艳鹏 李超 胡建伟
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 缓冲区溢出 符号执行 程序切片 自动化利用
• 年，卷（期）: 2019,（9）
• 所属期刊栏目: 安全技术
• 页码范围: 327-333
• 页数: 7页
• 分类号: TP311
• 字数: 6234字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2019.09.056

摘要

软件规模与数量的快速增长给软件安全研究带来了严峻的挑战,以人工方式分析漏洞已难以完成漏洞危害性的评估.分析缓冲区溢出漏洞的形成原理,提出一种缓冲区溢出漏洞自动化利用方法.该方法采用符号执行检测漏洞,为缓解符号执行中状态爆炸问题,使用危险函数切片减少状态数量.对于检测到的漏洞,通过构建约束表达式和约束求解自动生成exploit.针对进程中不存在空间足够的可控内存块的情况,以shellcode分段存放的方式利用漏洞.实验结果表明,该方法可有效缓解符号执行路径爆炸问题,自动检测漏洞并生成适用性较好的exploit.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡建伟	西安电子科技大学网络与信息安全学院	35	169	8.0	11.0
2	李超	西安电子科技大学网络与信息安全学院	27	131	5.0	11.0
3	崔艳鹏	西安电子科技大学网络与信息安全学院	30	176	7.0	12.0