[发明专利]一种基于AST的Java代码SSA单路径的生成方法

说明书

本发明公开了一种基于AST的Java代码SSA单路径的生成方法，其特征是包括如下步骤：步骤10：输入存放.java文件的src目录的路径；步骤11：使用ASTParser获得Java代码的AST；步骤12：使用ASTVisitor处理所有的MethodDeclaration，将每一个方法都拆分成若干条单路径代码；步骤13：使用JDT AST修改单路径代码的AST，将单路径转化为SSA的格式；步骤14：将SSA格式的单路径封装成符合Java语法规范的Java类，存放在path目录下，作为输出。本发明可以使研究者在该工具的基础上进行代码分析，降低了直接从代码文本进行分析的复杂性。

技术领域

本发明涉及一种基于AST的Java代码SSA单路径的生成方法。

背景技术

程序静态分析(Program Static Analysis)是在不运行程序的前提下进行的代码分析工作，随着越来越多的代码被上传到开源代码库中，大多数代码不可以直接运行，我们要对这些开源代码进行分析理解，就需要借助静态分析技术。静态分析技术中经常会涉及到符号执行(Symbolic Execution)，抽象语法树(Abstract Syntax Tree，AST)分析，控制流分析(Control Flow Analysis)等，借鉴这些静态分析技术的思想，我们旨在提供一种Java代码静态单赋值(Static Single Assignment，SSA)格式的单路径的生成方法支持Java代码静态分析方面的工作，研究者可以在该工具的基础上进行Java代码的分析，降低了直接从代码文本进行分析的复杂性。

JDT(Java Development Tools)是Eclipse提供的一组用于实现Java IDE的工具，核心是AST，利用JDT提供的AST访问API，我们可以将Java代码转化成AST，遍历AST树节点，修改AST树结构并将修改写回到源代码。

发明内容

针对现有技术中存在的问题，本发明目的是，提供一种Java代码SSA格式的单路径的生成方法支持Java代码静态分析方面的工作，研究者可以在该工具的基础上进行Java代码的分析，降低了直接从代码文本进行分析的复杂性。

本发明是通过以下的技术方案实现的：一种基于AST的Java代码SSA单路径的生成方法，包括步骤：

步骤10：输入存放.java文件的src目录的路径；

步骤11：使用ASTParser获得Java代码的AST；

步骤12：使用ASTVisitor处理所有的MethodDeclaration，将每一个方法都拆分成若干条单路径代码；

步骤13：使用JDT AST修改单路径代码的AST，将单路径转化为SSA的格式；

步骤14：将SSA格式的单路径封装成符合Java语法规范的Java类，存放在path目录下，作为输出。

其中步骤10所输入的Java工程源代码具有如下的目录结构：

TestCase类的包名为testcase，有test和test2两个方法，经过步骤14之后，最终的输出结果如下，其中每一个类中均包含若干条path_no方法，其参数和返回值均与路径所在方法相同，no为路径编号：

在步骤12中，使用ASTVisitor处理所有的MethodDeclaration，将每一个方法都拆分成若干条单路径代码的过程包括：

步骤20：获得MethodDeclaration的Body语句块Block