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