[发明专利]基于改进系统依赖图的LLVM IR程序切片方法在审
| 申请号： | 201610098877.8 | 申请日： | 2016-02-23 |
| 公开（公告）号： | CN105700893A | 公开（公告）日： | 2016-06-22 |
| 发明（设计）人： | 张迎周;徐晨晨;吴寄语;闫丽;尹秀;陈星昊;王星;赵莲 | 申请（专利权）人： | 南京邮电大学 |
| 主分类号： | G06F9/44 | 分类号： | G06F9/44;G06F9/45;G06F11/36 |
| 代理公司： | 南京知识律师事务所 32207 | 代理人： | 汪旭东 |
| 地址： | 210003 江苏*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开一种基于改进系统依赖图的LLVM IR程序切片方法。首先，构造出程序依赖图；然后利用图可达性算法对单个程序的LLVM IR语句进行切片；再根据程序间的调用关系、实参与形参之间的对应关系，将对单个程序的分析扩展到多个程序中去；接着利用新的方法来构造传递依赖边，进而完成系统依赖图的构建；最后，利用两阶段图形可达性算法对系统依赖图进行遍历，完成对多个程序的切片。本发明使切片的时间复杂度大大降低。 | ||
| 搜索关键词： | 基于 改进 系统 依赖 llvm ir 程序 切片 方法 | ||
【主权项】：
基于改进系统依赖图的LLVM IR程序切片方法，其特征在于，包括以下步骤：步骤1、构建程序依赖图；步骤2、对单个程序语句进行过程内切片；步骤3、构建系统依赖图；步骤4、利用两阶段图形可达性算法对系统依赖图进行遍历，完成对多个程序的切片。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于南京邮电大学，未经南京邮电大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201610098877.8/，转载请声明来源钻瓜专利网。
- 上一篇：层叠式自热微制氢反应器
- 下一篇：一种基于继承关系的构件分层扩展方法
