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

发明专利有效专利

申请号：
CN201710089472.2
IPC分类号：G06F8/41
申请日期：
2017-02-20
申请人：
南京邮电大学

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	一种基于信息流分析的LLVM中间表示程序切片方法
申请号	CN201710089472.2	申请日期	2017-02-20
法律状态	授权	申报国家	中国
公开/公告日	2017-07-14	公开/公告号	CN106951303A
优先权	暂无	优先权号	暂无
主分类号	G06F8/41 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F8/00 软件工程设计（测试或调试入G06F 11/36；软件项目管理、规划或组织入G06Q 10/06）〔2018.01〕 G06F8/40 程序代码转换〔2018.01〕 G06F8/41 编译〔2018.01〕	IPC分类号	G;0;6;F;8;/;4;1查看分类表>
申请人	南京邮电大学	申请人地址	江苏省南京市鼓楼区模范马路66号变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	南京邮电大学	当前权利人	南京邮电大学
发明人	张迎周;徐晨晨;闫丽;吴寄语
代理机构	南京经纬专利商标代理有限公司	代理人	许方

摘要

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

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有引用任何外部专利数据！

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有被任何外部专利所引用！

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供