[发明专利]基于LLVM中间表示程序切片技术的无用变量检测方法有效
| 申请号： | 201710431448.2 | 申请日： | 2017-06-09 |
| 公开（公告）号： | CN107358099B | 公开（公告）日： | 2020-05-05 |
| 发明（设计）人： | 张迎周;王星;陈星昊;尹秀;赵莲 | 申请（专利权）人： | 南京邮电大学 |
| 主分类号： | G06F21/56 | 分类号： | G06F21/56 |
| 代理公司： | 南京知识律师事务所 32207 | 代理人： | 张芳 |
| 地址： | 210003 江苏*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开一种基于LLVM中间表示程序切片的无用变量检测方法，从加入了无用变量的程序源代码开始，首先将源代码转化为LLVM中间表示的形式，接着利用程序切片技术对LLVM中间表示进行分析得到程序依赖图，之后对程序依赖图抽取和化简，得到变量距离图，最后设定距离阈值，在变量距离图上计算输出变量与其他变量的距离，判断源代码中是否存在无用变量。本发明能够有效检测出源代码中加入的无用变量，同时在检测不同语言的源代码时具有通用性。 | ||
| 搜索关键词： | 基于 llvm 中间 表示 程序 切片 技术 无用 变量 检测 方法 | ||
【主权项】：
基于LLVM中间表示程序切片技术的无用变量检测方法，其特征在于，包括步骤：S1、获取可能插入了无用变量的源代码；S2、在LLVM下将S1中的源代码转化为LLVM中间表示的形式；S3、利用程序切片技术，对S2中得到的LLVM中间表示进行切片分析，得到程序依赖图；S4、对程序依赖图进行抽取和化简，构建变量距离图；S5、将源代码中变量数量n设定为变量距离阈值r，在变量距离图上计算其他变量与输出变量之间的距离d，如果d>r，则认为是与程序执行结果无关的无用变量。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于南京邮电大学，未经南京邮电大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201710431448.2/，转载请声明来源钻瓜专利网。
