程序切片技术 - 专利交易市场|柿子坊知识产权运营平台

交易类型：全部转让独占许可普通许可开放许可竞拍委托代转让技术领域：全部信息与通信技术智能制造与工业系统医疗健康与生物技术新材料与化学工程能源与双碳技术交通与航空航天建筑与城市工程农业与食品技术数字服务与商业系统交叉融合与其他技术

全部发明实用新型外观设计

法律状态：全部已授权审中

项目申报：全部报过没有报过

发明已授权

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

📄 2017104314482 📂 G06F21_56 👤 南京邮电大学 📅 2017-06-09

¥0.0 元

咨询

发明已授权

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

2017104314482 · 南京邮电大学

¥0.0 元

咨询

1 共 1 页

求购专区 · 发布技术需求，卖家在线应标

🔋 高能量密度固态电解质材料与制备工艺

预算：¥50-100万截止：2026-08-30发布方：××新能源科技响应：8人

查看详情我要应标

交易保障 · 安心交易

资金托管

买家付款至平台，交易完成/过户成功后放款给卖家

权属尽调

专利有效性分析 + 权属状态核查，确保交易安全

合同审核

标准转让/许可合同模板，支持在线电子签署

全程代办

著录项目变更、备案手续全程代办，省心省力

交易流程 · 六步完成专利交易

选专利

在线沟通

签署合同

支付款项

办理变更

过户完成

成功交易案例

🔬

固态锂电池电解质专利包

转让方：中国科学院××研究所
受让方：××新能源科技有限公司
交易类型：独占许可
交易金额：¥320万

🧬

CRISPR基因编辑技术

转让方：××大学
受让方：××生物医药有限公司
交易类型：转让
交易金额：¥1,200万

⚡

SiC功率器件工艺专利

转让方：××半导体有限公司
受让方：××汽车电子集团
交易类型：转让
交易金额：¥680万

☀️

钙钛矿光伏组件技术

转让方：××科技公司
受让方：××能源集团
交易类型：开放许可
交易金额：¥50万/年

专利交易市场