C程序文件间依赖性分析

摘要

程序依赖性分析是一种重要的程序分析与理解的方法,广泛应用于软件工程及软件逆向工程的各个方面。由于C语言使用比较灵活,程序设计自由度大,因此人们很难从C程序中分析清楚系统各个功能模块。目前国内外提出了多种切片方法来对程序进行分析理解,但这些切片方法大都是基于语句级的代码分析,不利于分析程序的人对整个系统的了解。虽然通过分析文档能更概要地了解系统结构,但不利于分析员对程序细节的把握。因此我们需要一种分析方法,可以弥合文档和代码之间的语义间隙,文件依赖性分析便是这么一种处于中间层次的代码分析技术。
　　 本文研究的目的是通过基于依赖性分析的静态切片方法来对文件间依赖性进行分析,提供给用户清晰的文件间依赖性关系,使用户对一个项目中的多个程序实体之间的使用关系有所了解,便于用户对程序进行修改和维护。文件间依赖性分析涉及多个方面,包括语句级的依赖性分析以及在此基础之上的函数间的依赖性分析,文件间的依赖性分析是对这些底层依赖性分析的一种更高层次的抽象。本文首先讨论了依赖性分析的基本技术,并在此基础上详细介绍了文件间的几种依赖关系,包括预处理依赖、函数依赖和全局变餐依赖这三大类,并提出了使用文件依赖图来表示文件间依赖关系的方法,最后介绍了文件间依赖性分析的设计与实现方法。

目录

文摘

英文文摘

第一章 引言

1.1 选题依据

1.2 国内外研究现状.

1.3 主要工作

1.3.1 研究目标和内容

1.3.2 论文结构

第二章 依赖性分析的基本技术

2.1 程序流图

2.2 控制依赖

2.3 数据依赖

2.4 函数调用图

2.5 程序依赖图

2.6 系统依赖图

2.7 程序切片

第三章 文件间依赖性分析

3.1 预处理依赖

3.1.1 包含依赖

3.1.2 条件编译依赖

3.2 函数依赖

3.2.1 调用依赖

3.2.2 参数传递依赖

3.3 全局变量依赖

3.4 文件依赖图

3.5 应用

3.5.1 复杂性度量

3.5.2 集成测试

第四章 系统的设计与实现

4.1 系统体系结构

4.2 文件间依赖性分析系统详细设计

4.2.1 信息表建立子系统

4.2.2 预处理子系统

4.2.3 依赖性分析子系统

4.3 用户界面

第五章 结束语

致谢

参考文献