[发明专利]一种基于静态路径分析的导向符号执行方法

摘要

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

主权项

一种基于静态路径分析的导向符号执行方法，其特征在于，包括以下步骤：步骤一、首先通过静态分析确定检测的目标，找到目标程序中内存分配相关的代码或指令；步骤二、获取从程序起始点到指定代码点的路径相关函数和基本块，并依据路径可达性和距离对这些函数和基本块进行权值计算，形成一个基于代码基本块的加权源‑目标有向图；步骤三、函数和基本块路径的权值确定后，通过符号执行寻找实际可达路径，优先选择权值大的静态分析可达路径进行遍历，减少路径探测引发的组合爆炸；步骤四、静态路径分析：首先分析指定的起点和终点之间路径可达性关系，然后获取可达路径相关的函数和基本块信息，最后利用函数、基本块之间的可达性和路径距离进行权值设定；步骤五、导向符号执行：将静态路径分析所得到的路径相关的函数和基本块信息放到Paths[funcs，bbs]中，所有要分析的目标指令存放到allocCallInst的Vector中，states中存放当前所有的路径状态，当符号执行引擎对目标程序进行执行分析，通过循环对程序中的指令进行逐条解释执行。