龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用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、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号