[发明专利]一种基于改进GN算法的程序控制流图划分方法

权利要求书

1.一种基于改进GN算法的程序控制流图划分方法，其特征在于，首先由程序分析工具获取程序的控制流图；其次，对由节点和有向边构成的控制流图进行处理，为其中的各个节点设置权值；然后采用GN算法结合权值对控制流图进行划分，得到划分后的子图；

其中，采用改进的GN算法对所述控制流图进行划分采用以下方式：

步骤一、比较子图规模的最大值是否小于所设置的阈值，如果超过阈值则进入步骤五，否则进入步骤二，所述子图规模为子图中所有节点的权值之和；

步骤二、计算每一条边的边介数Betweenness’；采用下述公式计算：

其中，l表示控制流图中的任意一条边，s，t分别表示控制流图中的两个不同节点，ω(s)表示节点s的权值，ω(t)表示节点t的权值，σ_st(l)表示经过边l的从节点s到节点t的最短路径数量，σ_st表示从节点s到节点t的最短路径数量，V表示控制流图中所有节点的集合；

步骤三、删除边介数最大的边；

步骤四、计算当前控制流图的模块度Q，如果此Q值大于最大值BestQ，则令BestQ等于Q，并保存当前的控制流图结构为BestG，否则，返回步骤一；

步骤五、边分割完毕，返回当前的Q值和控制流图划分的结果。

2.如权利要求1所述的一种基于改进GN算法的程序控制流图划分方法，其特征在于，所述控制流图的节点代表程序的基本块；有向边即是跳转信息，表示从一个基本块跳转到另一个基本块；基本块包括了指令的数量，跳转信息包含了源基本块、目标基本块以及跳转类型；节点的权值表示基本块中的指令的数量，用于表示该基本块的大小。