[发明专利]一种Java类依赖关系的静态识别方法

摘要

本发明公开了一种Java类依赖关系的静态识别方法，包括：1)对基于Java开发的Web应用的代码文件展开静态分析，构建代码中方法、变量和属性之间的依赖关系图；2)基于依赖关系图，自动识别Web应用中存在读写共享的持久化属性。本发明为自动检测Web应用是否可以集群部署提供了静态分析方法，可以覆盖待检测Web应用中所有可能的执行路径，并且不会引入任何代码污染。

主权项

1.一种Java类依赖关系的静态识别方法，其特征在于包括以下步骤：步骤1：分析用户指定的目标Web应用的代码，从中识别目标Web应用的入口方法，并将识别得到的入口方法置入待分析方法集合中；步骤2：依次分析待分析方法集合中的每个入口方法，建立入口方法内部定义的变量、引用的属性和被调用的方法间的依赖关系，得到入口方法内部的依赖关系图；并利用相同的步骤对入口方法调用的其他方法进行分析；分析完成后，将所有被分析的被调用方法置如已分析方法集合中；步骤3：依次分析已分析方法集合中的每个被调用方法，对于被调用方法的每次调用，建立方法调用时传入的实际参数和被调用方法定义的形式参数间的依赖关系，从而得到完整的依赖关系图；步骤4：遍历步骤3得到的依赖关系图，从中搜索持久化结点，并将其对应的元素置于持久化元素集合中；持久化元素指在Java中被声明为静态的属性、变量或方法，但在依赖关系图中被非静态的属性、变量或方法依赖的元素；步骤5：依次以步骤4得到的持久化元素集合中的元素为起点，对步骤3得到的依赖关系图进行遍历，位于2个持久化元素之间的属性即被识别为持久化属性，将识别得到的持久化属性置于持久化属性集合中，并最终输出；所述步骤3得到完整的依赖关系图具体包括以下步骤：(1)从已分析方法集合Sa中取出一个方法M；(2)获取M的调用集合Sc；(3)从调用集合Sc中取出一次调用指令C；(4)建立调用指令C中传入的实际参数和方法M定义的形式参数间的依赖关系，对于调用指令C中的每个实际参数A，找出其对应的形式参数P；如果A是对象的静态属性，则添加依赖关系P静态依赖于A，否则添加依赖关系P依赖于A；(5)返回步骤(3)继续处理Sc，直到集合Sc为空；(6)返回步骤(1)继续处理Sa，直到集合Sa为空。