[发明专利]基于LLVM中间表示程序切片技术的无用变量检测方法

权利要求书

1.基于LLVM中间表示程序切片技术的无用变量检测方法，其特征在于，包括步骤：

S1、获取可能插入了无用变量的源代码；

S2、在LLVM下将S1中的源代码转化为LLVM中间表示的形式；

S3、利用程序切片技术，对S2中得到的LLVM中间表示进行切片分析，得到程序依赖图；

S4、对程序依赖图进行抽取和化简，构建变量距离图，其过程为：

S4-1、遍历程序依赖图中的节点，将所有变量作为节点添加到变量距离图中，重复的节点只保留一个；

S4-2、遍历程序依赖图中的边，对于程序依赖图中的一条有向边，设边的起始节点中变量集合为B，边的终止节点中变量集合为E，在变量距离图中添加由集合B中变量指向集合E中变量的有向边；重复的边只保留一条；

S5、将源代码中变量数量n设定为变量距离阈值r，在变量距离图上计算其他变量与输出变量之间的距离d，如果dr，则认为是与程序执行结果无关的无用变量。

2.根据权利要求1所述的无用变量检测方法，其特征在于，S2中所述将源代码转化为LLVM中间表示的形式通过clang编译器完成。