基于符号执行的Return-to-dl-resolve利用代码自动生成方法

• 作者: 吴志勇 吴礼发 方皓
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 符号执行 漏洞利用 安全防护机制 利用代码
• 年，卷（期）: 2019,（2）
• 所属期刊栏目: 信息安全
• 页码范围: 127-132
• 页数: 6页
• 分类号: TP309
• 字数: 7000字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2019.02.020

摘要

Return-to-dl-resolve是一种可突破复杂防护机制的通用漏洞利用技术,目前主要以手工方式实现,研究人员需要深入分析并理解EL F动态链接原理,泄露并解析任意库函数的地址,拼装攻击载荷,效率非常低.文中提出了一种基于符号执行的Return-to-dl-resolve自动化实现方法,该方法为ELF可执行文件提供符号执行环境,对程序崩溃点的符号状态进行约束,通过约束求解器对约束进行求解,实现了Return-to-dl-resolve利用代码自动生成系统R2dlAEG.实验结果表明,R2dlAEG可快速构造利用代码,并能够在NX和ASLR防护机制同时开启的条件下劫持程序的控制流.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	方皓	陆军工程大学指挥控制工程学院	1	1	1.0	1.0
2	吴礼发	陆军工程大学指挥控制工程学院	2	3	1.0	1.0
3	吴志勇	陆军工程大学指挥控制工程学院	1	1	1.0	1.0