Linux内核中编译选项、文件以及函数之间依赖关系的解析方法

Linux内核中的编译选项为内核提供了功能定制的可能性,但从传统静态代码分析的角度较难获得编译选项的改变对软件代码实际的影响。基于Linux内核源码,提出一种从编译选项开始,一直到函数调用关系的分析思路,同时给出了与编译选项相关的源代码的分层模型及其具体的分析做法,对于理解Linux内核源码特别是其中的编译依赖有现实意义。

C语言静态代码分析中的调用关系提取方法

程序静态分析(Program Static Analysis)是指在不运行代码的方式下,通过词法分析、语法分析、控制流分析等技术对程序代码进行扫描,验证代码是否满足规范性、安全性、可靠性、可维护性等指标的一种代码分析技术。首先对程序静态分析的特点、常用静态分析技术、静态分析实现方式进行描述,然后通过一个实例讲解C语言静态代码分析中函数与变量的调用关系的实现方法,总结了现今在C语言调用关系分析中可以借鉴的工具与实现方式。