发明专利已授权

一种基于信息流分析的LLVM中间表示程序切片方法

📄 申请号：CN201710089472.2 📄 发布日：2026/03/16

著录项目信息

申请日

2017-02-20

公开号

CN106951303B

公开日

2020-09-22

申请人

南京邮电大学

法律状态

已下证

专利类型

发明

主分类号

G06F8_41

IPC 分类号

G06F8_41

技术画像

所属领域

会展建筑程序分析编译器技术信息流分析

应用场景

软件测试, 程序调试, 代码优化, 安全漏洞分析, 程序理解

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

摘要

本发明公开了一种基于信息流分析的LLVM中间表示程序切片方法。首先，根据调用图CG判断某程序是过程内程序还是过程间程序。所述的过程间程序采用以下步骤：(1)分析程序间的调用关系、实参与形参之间的对应关系；(2)根据公式计算每条调用语句的DS、PS、λS、μS、ρS；(3)再根据CG调用图的逆拓扑序关系来依次分析各个程序，得到过程间程序的DS、PS、λS、μS、ρS；(4)对所有程序的DS、PS、λS、μS、ρS进行复合，得到过程间切片。本发明方法，可对LLVM IR程序类中间语言程序进行切片，通用性强，切片精度高。

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

……

图1

图2

图3

法律状态时间线

一种色散平坦的实芯Bragg光纤产生中红外超连续谱装置

当前第 / 件

一种基于双向最佳匹配的分布式视频压缩感知重构方法

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

G06F8_10 G06F8_20 G06F8_30 G06F8_33 G06F8_34 G06F8_35 G06F8_36 G06F8_38 G06F8_40 G06F8_41 G06F8_51 G06F8_60 G06F8_61 G06F8_65 G06F8_654 G06F8_656 G06F8_658 G06F8_70 G06F8_71 G06F8_72 G06F8_73 G06F8_74 G06F8_75 G06F8_76 G06F8_77 覆盖25个领域

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

数字签名处理方法、装置、计算机设备和存储介质

¥0.0

2021116154461 · 深圳市名竹科技有限公司

议价

不含过户费

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

资金托管权属尽调包过户

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

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

📊 出价记录 (3条)

王**¥-10万

李** 企业¥-8万

陈**¥-3万

查看全部出价

我要出价 (议价)