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

作者：方皓; 吴礼发^*; 吴志勇

来源：计算机科学, 2019, 46(02): 127-132.

• 符号执行
• 漏洞利用
• 安全防护机制
• 利用代码

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

• 单位
  中国人民解放军陆军工程大学