发明专利已授权

基于LLVM中间表示程序切片技术的无用变量检测方法

📄 申请号：CN201710431448.2 📄 发布日：2026/07/28

著录项目信息

申请日

2017-06-09

公开号

CN107358099B

公开日

2020-05-05

申请人

南京邮电大学

法律状态

已下证

专利类型

发明

主分类号

G06F21_56

IPC 分类号

G06F21_56

技术画像

所属领域

程序切片技术程序切片技术编译中间表示静态程序分析

应用场景

代码优化, 代码审查, 软件测试, 软件维护, 编译器开发

AI 智能推荐 · 同申请人专利 · 搜索相似专利

摘要

本发明公开一种基于LLVM中间表示程序切片的无用变量检测方法，从加入了无用变量的程序源代码开始，首先将源代码转化为LLVM中间表示的形式，接着利用程序切片技术对LLVM中间表示进行分析得到程序依赖图，之后对程序依赖图抽取和化简，得到变量距离图，最后设定距离阈值，在变量距离图上计算输出变量与其他变量的距离，判断源代码中是否存在无用变量。本发明能够有效检测出源代码中加入的无用变量，同时在检测不同语言的源代码时具有通用性。

权利要求书 (12项) 说明书附图

……

图1

图2

图3

法律状态时间线

一种基于天线选择的干扰对齐方法

当前第 / 件

基于RGB-D图像的室内场景布局估计及目标区域提取方法

同领域国内专利 · IPC: (G06F21_56)

G06F21_10 G06F21_12 G06F21_14 G06F21_16 G06F21_24 G06F21_30 G06F21_31 G06F21_32 G06F21_33 G06F21_34 G06F21_36 G06F21_41 G06F21_44 G06F21_45 G06F21_46 G06F21_50 G06F21_51 G06F21_52 G06F21_53 G06F21_54 G06F21_55 G06F21_56 G06F21_57 G06F21_60 G06F21_62 G06F21_64 G06F21_71 G06F21_72 G06F21_73 G06F21_74 G06F21_75 G06F21_76 G06F21_78 G06F21_79 G06F21_80 G06F21_81 G06F21_83 G06F21_84 G06F21_85 G06F21_86 G06F21_88 覆盖41个领域

相似专利推荐 AI 驱动 · 同领域

暂无同领域相似专利推荐

议价

不含过户费

📋 交易方式： 委托待转让 📌 交易状态：在售 👁️ 浏览次数：23 ❤️ 收藏人数：93 📋 项目申报： 未申报

资金托管权属尽调包过户

🏢 淄博智来知识产权服务有限公司

✓ 企业认证✓ 手机绑定历史成交 0件好评率 98.5%

📊 出价记录 (3条)

王**¥-10万

李** 企业¥-8万

陈**¥-3万

查看全部出价

我要出价 (议价)