[发明专利]一种程序静态分析结果中最佳修复点的展示方法

权利要求书

1.一种程序静态分析结果中最佳修复点的展示方法，其特征在于，所述方法包括以下步骤：

S1、获取程序静态分析工具输出的所有污点传播路径，然后对所获取的污点传播路径进行去重处理；

S2、分析去重处理后的每一条污点传播路径，并基于分析结果进行组合以构建全程序污点传播流图；

S3、分析全程序污点传播流图以获取每个节点的出度和入度，基于每个节点的出度和入度计算出每个节点的路径数量；

S4、基于步骤S3中得到的每个节点的出度、入度和路径数量计算每个节点的综合评估值并进行比较，选取最大综合评估值的节点进行标记，进而得到最大综合评估值对应的最佳修复点。

2.根据权利要求1所述的程序静态分析结果中最佳修复点的展示方法，其特征在于，所述程序静态分析工具是指一种利用JDT分析源码的CodeSence Java引擎。

3.根据权利要求2所述的程序静态分析结果中最佳修复点的展示方法，其特征在于，所述步骤S1中对所获取的污点传播路径进行去重处理具体为：循环遍历所获取的每一条污点传播路径，然后删除重复的污点传播路径。

4.根据权利要求3所述的程序静态分析结果中最佳修复点的展示方法，其特征在于，所述步骤S2的具体实现方式为：获取具有前向边和后向边的污点传播路径，将具有前向边和后向边的污点传播路径中的路径节点沿着其后向边的方向进行组合，进而构建出全程序污点传播流图。

5.根据权利要求4所述的程序静态分析结果中最佳修复点的展示方法，其特征在于，所述步骤S3的具体实现方式包括：

S31、遍历全程序污点传播流图中的每一个节点，并查看与对应节点相关联的节点，进而获取每个节点的出度和入度，其中，节点的出度是指以该节点为弧尾，起始于该节点的弧的数目；节点的入度是指以该节点为弧头，终止于该节点的弧的数目；

S32、基于每个节点的出度和入度计算出每个节点的路径数量，用公式表示为：

N_i＝n_i1×n_i2 (1)

式(1)中，N_i表示第i个节点的路径数量，n_i1表示第i个节点的出度，n_i2表示第i个节点的入度。

6.根据权利要求5所述的程序静态分析结果中最佳修复点的展示方法，其特征在于，所述步骤S4中每个节点的综合评估值用公式表示为：

A_i＝n_i1·a+n_i2·b+N_i·c (2)

式(2)中，A_i表示第i个节点的综合评估值，a表示第i个节点的出度的权重，b表示第i个节点的入度的权重，c表示第i个节点的路径数量的权重，其中，a+b+c＝1。