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

摘要

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