[发明专利]基于静态分析的C语言代码依赖关系提取方法

权利要求书

1.一种基于静态分析的C语言代码依赖关系提取方法，其特征在于，包括以下步骤：

S1：对C语言源代码进行静态分析，获得各条宏指令的信息以及各个变量、函数、类型的信息；

S2：对每条宏指令，基于宏指令信息提取该条宏指令产生的依赖关系；

S3：对每个变量，基于每条变量信息提取该变量产生的依赖关系；

S4：对每个函数，基于每条函数信息提取该函数产生的依赖关系；

S5：对每个类型，基于类型信息提取该类型产生的依赖关系；

S6：基于符号级的依赖关系提取文件级的依赖关系；

S7：持久化提取到的依赖关系。

2.根据权利要求1所述的基于静态分析的C语言代码依赖关系提取方法，其特征在于：

所述宏指令信息包括：宏包含指令信息，宏定义指令信息，宏条件判断指令信息和宏展开指令信息；

宏包含指令信息包括：该指令包含的文件，该指令所在的源代码文件；

宏定义指令信息包括：该指令定义的宏符号名，该指令所在的源代码文件；

宏条件判断指令信息包括：该指令进行条件判断使用的宏符号名，该指令所在的源代码文件；

宏展开指令信息包括：该指令展开的宏符号名，该指令所在的源代码文件；

所述对每条宏指令，基于宏指令信息提取该条宏指令产生的依赖关系，包括：提取宏包含指令信息产生的依赖关系，提取宏定义指令信息产生的依赖关系，提取宏条件判断指令信息产生的依赖关系，提取宏展开指令信息产生的依赖关系。

3.根据权利要求2所述的基于静态分析的C语言代码依赖关系提取方法，其特征在于，所述提取宏包含指令信息产生的依赖关系，包括：

T101：如果该指令所在的源代码文件为首次出现，为该指令所在的源代码文件创建文件节点；

T102：如果该指令包含的文件为首次出现，为该指令包含的文件创建文件节点；

T103：在该指令所在的源代码文件和该指令包含的文件之间添加依赖关系，依赖关系起点为指令所在的源代码文件对应的文件节点，终点为该指令包含的文件对应的文件节点，依赖关系类型为包含依赖。

4.根据权利要求2所述的基于静态分析的C语言代码依赖关系提取方法，其特征在于，所述提取宏定义指令信息产生的依赖关系，包括：

T201：如果该指令所在的源代码文件为首次出现，为该指令所在的源代码文件创建文件节点；

T202：如果该指令定义的宏符号为首次出现，为该指令定义的宏符号创建符号节点，符号节点信息包括宏符号名和该宏定义指令所在的源代码文件；

T203：如果该指令定义的宏符号已经出现过，为该定义指令之前出现的每个宏符号创建引用节点，在引用节点与符号节点之间添加依赖关系，依赖关系起点为引用节点，终点为对应的符号节点，依赖关系类型为宏定义-使用依赖。

5.根据权利要求2所述的基于静态分析的C语言代码依赖关系提取方法，其特征在于，所述提取宏条件判断指令信息产生的依赖关系，包括：

T301：如果该指令所在的源代码文件为首次出现，为该指令所在的源代码文件创建文件节点；

T302：如果该指令使用宏符号进行条件判断，则为该指令进行条件判断使用的宏符号创建一个引用节点，引用节点信息包括宏符号名，该指令所在的源代码文件；

T303：如果该指令使用宏符号进行条件判断，并且如果该指令进行条件判断使用的宏符号已经被定义，那么在引用节点与该指令使用宏符号对应的符号节点之间添加依赖关系，依赖关系起点为新建的引用节点，终点为对应的该指令使用宏符号对应的符号节点，依赖关系类型为宏定义-使用依赖；

T304：如果该指令进行条件判断使用的宏符号未被定义，那么如果后续存在该宏符号的定义，这个依赖关系将在后续发现该宏符号定义时添加。