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

说明书

本发明公开了一种基于静态分析的C语言代码依赖关系提取方法，包括以下步骤：对C语言源代码进行静态分析，获得各条宏指令的信息以及各个变量、函数、类型的信息；对每条宏指令，基于宏指令信息提取该条宏指令产生的依赖关系；对每个变量，基于每条变量信息提取该变量产生的依赖关系；对每个函数，基于每条函数信息提取该函数产生的依赖关系；对每个类型，基于类型信息提取该类型产生的依赖关系；基于符号级的依赖关系提取文件级的依赖关系；持久化提取到的依赖关系；以实现从C语言源码中提取更加全面、更加精确、多层次的依赖关系。

技术领域

本发明涉及计算机技术和软件工程领域，特别涉及基于静态分析的C语言代码依赖关系提取方法。

背景技术

随着现代软件技术的发展，软件项目规模趋于庞大，文件、模块之间的耦合关系趋于复杂，传统基于经验的软件架构设计方法的门槛也越来越高。因此，自动化地对代码进行静态分析，提取软件项目多层次的依赖关系显得越来越重要。同时，软件项目的依赖关系也是实现架构分析、软件重构等功能所必需的底层支持数据。

同时，已有的静态分析的工作通常针对特定需求，侧重特定领域提取部分依赖关系，如函数调用关系、数据流关系、类之间的依赖关系等，没有试图提取一种更全面的、更精确、多层次的依赖关系。

并且，C语言作为一门古老的计算机编程语言，它在今天仍被广泛用于嵌入式、操作系统等领域的开发。但是由于它自身设计时带有复杂的宏，并且不支持包的概念，对依赖分析带来了一定的挑战，相关的针对C语言代码的依赖分析工作更加不足。

因此，需要一种基于静态分析的C语言代码依赖关系提取方法，以实现从C语言源代码中获得更全面、准确、多层次的依赖关系。

发明内容

为此，需要提供一种基于静态分析的C语言代码依赖关系提取方法，以实现从C语言源码中提取更加全面、更加精确、多层次的依赖关系。

为实现上述目的，发明人提供了一种基于静态分析的C语言代码依赖关系提取方法，包括以下步骤：

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

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

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

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

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

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

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

作为本发明的一种优选方式，所述宏指令信息，包括：宏包含指令信息，宏定义指令信息，宏条件判断指令信息和宏展开指令信息。

作为本发明的一种优选方式，宏包含指令信息包括：该指令包含的文件，该指令所在的源代码文件；宏定义指令信息包括：该指令定义的宏符号名，该指令所在的源代码文件；宏条件判断指令信息包括：该指令进行条件判断使用的宏符号名，该指令所在的源代码文件；宏展开指令信息包括：该指令展开的宏符号名，该指令所在的源代码文件。

作为本发明的一种优选方式，所述对每条宏指令，基于宏指令信息提取该条宏指令产生的依赖关系，包括：提取宏包含指令信息产生的依赖关系，提取宏定义指令信息产生的依赖关系，提取宏条件判断指令信息产生的依赖关系，提取宏展开指令信息产生的依赖关系。