随着计算机行业的的迅速发展,软件规模、复杂度不断提升,应用领域也不断扩大,如何保证和提高软件的可靠性与安全性成为计算机领域研究的热点,软件测试已经成为软件生命周期中不可或缺的-部分。程序静态分析是与程序动态分析相对应的代码分析技术,它以其执行速度快、效率高、不实际执行程序等特点,受到了业界的高度重视,近几年来发展迅速。随着软件规模的不断扩大,如何提高静态分析的效率成为人们普遍关心的问题。因此本文的研究工作将围绕如何提高静态分析的效率来展开。本文以C语言源文件为研究对象,结合中间文件生成原理,以合理去除中间文件中的冗余代码为核心,设计并实现了中间文件简化功能,有效地提升了静态分析效率。本文首先介绍了中间文件的结构及冗余信息的模式,通过大量实验统计冗余信息比重,得出进行中间文件简化的必要性。文中设计了中间文件化简子系统来对冗余信息进行删除,并合理储存头文件信息,消除冗余信息的删除对静态分析精度所造成的影响。最后,本文在基于缺陷的软件测试框架DTS的基础上,实现了中间文件化简子系统,并通过对大量Linux中GCC开源工程进行检测,验证了文中方法的可行性与有效性。