本文介绍了作者在跨函数分析研究方面所做的工作,包括跨函数分析技术的设计与实现以及对现有DTSJava(Defect Testing System for Java)系统的改进,将跨函数分析模块与区间运算模块结合,针对资源泄漏缺陷实现检测算法,从应用角度验证了DTSJava跨函数分析技术。DTSJava是一个以数据流分析为核心、以抽象解释和模型检查辅助的通用的软件缺陷静态检测系统。它将软件故障抽象为缺陷模式状态机,故障构成因素表示为状态,构成因素的时序关系表示为状态之间的转换。缺陷模式分析的过程是沿着控制流按状态机的转换条件进行状态计算。如果实际导致状态转换的源代码不在同一函数中而是通过函数调用,那么称为多个函数构成的故障。已有的DTSJava检测系统关注整个系统框架的设计与实现,不具备多函数故障的检测能力。与著名的软件测试工具Klocwork的对比发现,多函数故障在DTSJava的漏报中占很大比例。为了提高故障覆盖率,本文提出面向故障的函数摘要概念,将跨函数分析分为收集和应用函数摘要两阶段。系统提供抽象定义,故障检测算法实现函数摘要的提取方法和应用方法。根据用途的不同,本文设计了三种函数摘要：前置条件Precondition、后置条件Postcondition和函数特征Feature。前置条件是避免程序故障必须满足的限制,后置条件表示函数对调用者上下文环境的影响(如变量值),函数特征表示对故障检测状态机的影响(如文件操作)。最后针对资源泄漏故障模型,本文实现一种跨函数分析检测方法,通过实验从应用的角度证明DTSJava跨函数分析模块的价值。