申请/专利权人:南京大学
申请日: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、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。