首页 专利交易 科技果 科技人才 科技服务 国际服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

一种基于高阶化访问路径的域敏感程序切片方法 

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

申请/专利权人:南京邮电大学

摘要:本发明提出了基于高阶化访问路径的域敏感程序切片方法,涉及函数式编程和程序分析领域。首先将C语言代码源程序转化为LLVMIR格式,并建立源程序变量与LLVMIR变量之间的映射关系;然后对LLVMIR中的每个变量进行访问路径的初始化。随后,对控制依赖集和数据依赖集进行初始化和更新,同时动态地计算和更新变量的访问路径,过程内的分析结果将以高阶化的函数摘要形式返回。本发明不仅显著提升了程序切片的精度,粒度从行级提升到了变量级,同时处理速度也有显著提升,为软件开发、测试和维护提供支持。

主权项:1.一种基于高阶化访问路径的域敏感程序切片方法,其特征在于,包括以下步骤:步骤1:对源程序进行预处理;将C语言代码源程序转化成中间表示LLVMIR的形式,确定C语言代码源程序中变量和LLVMIR中变量的对应关系,将源程序变量、LLVMIR中的变量和访问路径组成一个三元组,得到访问路径集;步骤2:对源程序对应的LLVMIR进行切片;根据LLVMIR中的内存操作指令按需更新LLVMIR中每个变量对应的访问路径,根据运算指令更新切片结果,遍历过程中每完成一个过程的分析,都会生成对应的高阶化函数摘要,用于传递变量的访问路径信息,供其它过程分析时使用;步骤3:将LLVMIR切片结果映射到源程序中;在步骤2得到了LLVMIR上的切片的基础上,根据步骤1中确定的源程序中变量和LLVMIR中变量的对应关系,得到源程序的域敏感切片结果。

全文数据:

权利要求:

百度查询: 南京邮电大学 一种基于高阶化访问路径的域敏感程序切片方法

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。