[发明专利]一种基于约束求解的代码搜索方法

权利要求书

1.一种基于约束求解的代码搜索方法，其特征在于，包括如下步骤：

步骤一、从开源社区中获取开源项目；

步骤二、使用JPF和JDT分析源代码，将其转化为SSA格式；

步骤三、使用JDT分析SSA格式的代码，将其转化为约束；

步骤四、将源代码与生成的约束一一对应，构建代码-约束库；

步骤五、构建代码搜索系统，帮助用户搜索代码。

2.根据权利要求1所述的基于约束求解的代码搜索方法，其特征在于，步骤一中：

所述开源社区是指Sourceforge，Github，BitBucket，Google Code等开源代码库。

3.根据权利要求2所述的基于约束求解的代码搜索方法，其特征在于，步骤一中：

在Sourceforge，Github，BitBucket，Google Code等开源社区中直接下载或者编写爬虫工具获取开源项目。

4.根据权利要求1所述的基于约束求解的代码搜索方法，其特征在于，步骤二中：

步骤2.1：使用JPF(Java PathFinder)工具的jpf-symbc模块对.class进行分析，获取所有成员函数的可达路径；

步骤2.2：使用JDT(Java Development tools)对可达路径构建AST(Abstract Syntax Tree)树，分析并转化为SSA(Static Single-Assignment)格式。

5.根据权利要求4所述的基于约束求解的代码搜索方法，其特征在于，步骤二中：

将步骤一获取的开源项目导入到Eclipse工具中，编译生成.class文件；

使用JPF工具的jpf-symbc模块对源代码和其对应的.class文件进行分析，获取该开源项目中所有成员函数的可达路径；在源代码的if语句进行插桩处理；

获取一个函数的所有可达路径后，使用JDT工具对所有可达路径的代码构建AST树，分析并将其转化为SSA格式；SSA是一种中间表示形式，保证每个变量在程序中仅被赋值一次，即每个变量只被定义一次，确保其具有精确的使用-定义关系。

6.根据权利要求1所述的基于约束求解的代码搜索方法，其特征在于，步骤三中：

再次使用JDT对SSA格式的路径构建AST，分析并将其转化为约束；包含对if语句，while语句，for语句，以及类成员变量的转换。

7.根据权利要求6所述的基于约束求解的代码搜索方法，其特征在于，步骤三中：

使用JDT工具对生成的SSA格式的代码构建AST，处理代码中变量的声明，赋值语句和条件语句，将代码转化为约束；处理的类型包括int，boolean和String类型，以及这些类型构成的类类型。

8.根据权利要求1所述的基于约束求解的代码搜索方法，其特征在于，步骤四中：

将所有成员函数的源代码及其约束一一对应保存在MySQL数据库中，构建代码-约束库。