一种基于静态路径分析的导向符号执行方法

摘要

本发明提供一种基于静态路径分析的导向符号执行方法，能够快速到达指定的代码的位置，并给出到达目的代码的测试输入。步骤一、首先通过静态分析确定检测的目标，找到目标程序中内存分配相关的代码或指令；步骤二、获取从程序起始点到指定代码点的路径相关函数和基本块，并依据路径可达性和距离对这些函数和基本块进行权值计算；步骤三、优先选择权值大的静态分析可达路径进行遍历；步骤四、静态路径分析；步骤五、将静态路径分析所得到的路径相关的函数和基本块信息放到Paths[funcs，bbs]中，所有要分析的目标指令存放到allocCallInst的Vector中，states中存放当前所有的路径状态，当符号执行引擎对目标程序进行执行分析，通过循环对程序中的指令进行逐条解释执行。