[发明专利]一种分段式符号执行方法

权利要求书

1.一种分段式符号执行方法，其特征在于，首先从程序中提取出控制流图，其节点是程序基本块，有向边是基本块之间的跳转，然后通过聚类方法将程序控制流图划分为多个控制流子图，进而对各程序段进行独立符号执行，最后将各个程序段的符号执行结果进行合并，完成对整个程序的分析；其中，通过聚类方法将程序控制流图划分为多个控制流子图，具体采用以下划分方式：

步骤一、根据聚类算法选出控制流图中的边；

步骤二、删除控制流图中由步骤一选出的边；

步骤三、计算控制流图的模块度，如果模块度得到提升，则更新控制流图，否则返回步骤一；

步骤四、控制流图划分完毕，得到划分后的子图即为程序分段的结果。

2.如权利要求1所述的一种分段式符号执行方法，其特征在于，对所述控制流图中的各个节点设置权值，所述控制流图中节点表示控制流图中的单个基本块，将每个基本块中的指令数量作为该节点的权值，表示该基本块的大小。

3.如权利要求1或2所述的一种分段式符号执行方法，其特征在于，所述的各程序段独立符号执行具体采用以下方式：

(1)确定每个程序段内的起始节点与终止节点；

(2)补全缺失的基本块间的跳转信息；

(3)遍历每个程序段，并选择相应的分析策略；

(4)根据采用的相应分析策略进行分析。

4.如权利要求1或2所述的一种分段式符号执行方法，其特征在于，所述合并包括状态数据合并以及约束条件合并，对所有相连的程序段的状态数据和约束条件合并完成后，得到整个程序符号执行的结果。