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

交易价格： 面议

类型： 发明专利

技术成熟度： 正在研发

专利所属地：中国

专利号：CN201710089472.2

交易方式： 完全转让许可转让技术入股

联系人：南京邮电大学

所在地：江苏南京市

服务承诺: 产权明晰; 资料保密
对所交付的所有资料进行保密; 如实描述

登录后向技术服务商咨询

咨询平台客服试试在线客服吧发布技术需求服务免费

技术详细介绍

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

成果推荐需求推荐评估专家推荐评估机构推荐

更多>

上海平正评估有限公司

服务分类：资产评估、无形资产评...

进入主页
连城资产评估有限公司

服务分类：资产评估、无形资产评...

进入主页

更多>