基于符号执行与实际执行的二进制代码执行路径分析

• 作者: 国鹏飞 崔宝江 王建新
• 来源期刊: 清华大学学报（自然科学版）
• 学科: 工学
• 关键词: 符号执行 机器指令解析 路径约束
• 年，卷（期）: 2009,（z2）
• 页码范围: 2186-2192
• 页数: 7页
• 分类号: TP309
• 语种: 中文

摘要

应用符号执行方法能够获得程序输入和执行路径的对应关系, 这种关系对于分析和测试程序的缺陷是十分重要的.符号执行在针对源码的安全审计中有着成功的应用, 但由于其自身的特点导致其很难应用到二进制代码的分析中.该文提出了一种符号执行与实际执行结合的系统模型, 解决了符号执行应用于二进制代码分析中的一些难点, 在此基础上提出了利用符号执行进行二进制代码分析的新途径.