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

【发明公布】一种面向Java项目的增量指针分析方法_南京大学_202410371714.7 

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

申请日:2024-03-29

公开(公告)日:2024-06-14

公开(公告)号:CN118194282A

主分类号:G06F21/56

分类号:G06F21/56;G06F21/57;G06F8/71

优先权:

专利状态码:在审-公开

法律状态:2024.06.14#公开

摘要:本发明公开一种面向Java项目的增量指针分析方法,包括程序差异比对系统和增量指针分析算法;该方法包含以下步骤:S1、处理一个待分析的Java项目的两个版本,分别获取用于指针分析的程序抽象表示信息;S2、对步骤S1生成的两个版本的程序信息进行比对,获取之间的程序差异;S3、对第一个版本的程序进行全程序指针分析,然后使用步骤S2比对得到的程序差异,运行增量指针分析算法,更新指针分析结果,从而得到第二个版本的程序的指针分析结果;相较于传统的全程序指针分析方法,本发明通过优化程序差异比对和设计增量指针分析算法,提高了增量指针分析的运行效率和健壮性。

主权项:1.一种面向Java项目的增量指针分析方法,其特征在于,对一个Java项目的两个版本进行指针分析,方法利用一个项目版本的指针分析结果和两个版本之间的代码差异,使用增量指针分析算法,以获得另一个版本的指针分析结果包括以下步骤:S1、处理一个待分析的Java项目的两个版本,分别获取用于指针分析的程序抽象表示信息,此步骤生成的程序信息是一种不可变的程序信息,不会因为程序变化而被修改;S2、对步骤S1生成的两个版本的程序信息进行比对,获取这两个版本之间的程序差异;S3、在步骤S1生成的第一个版本的程序信息上,进行全程序指针分析,然后使用步骤S2比对得到的程序差异,运行增量指针分析算法,对指针分析结果进行更新,从而得到步骤S1生成的第二个版本的程序信息上的指针分析结果。

全文数据:

权利要求:

百度查询: 南京大学 一种面向Java项目的增量指针分析方法

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