数据流分析技术在软件静态分析领域起到至关重要的作用,它基于语法分析和语义分析技术,确定变量的定义和使用关系。而全局的数据流分析一直是数据流分析相关研究的重点和难点。在数据流分析中往往要关注一个变量的取值与什么变量相关,以及会影响到什么变量。据了解,目前还尚未存在静态分析工具中实现针对目标点的全局性输入及影响分析。本文提出了 一种全局数据流分析的方法,包含局部分析和全局分析两部分。首先通过分析被测工程的抽象语法树和控制流图,对每个变量的定义形式构建抽象化的定值信息模型,并用一个四元组描述,从而实现了局部的定义使用关系分析。接下来提出了面向定值信息的函数摘要模型,通过函数摘要可以解决全局中参数传递、函数副作用、函数返回值三种情况下的数据传递的情况。最后依据以上分析结果,实现面向目标点的全局输入域和影响域分析。本文提出的方法可用于静态缺陷检测中,分析与缺陷点相关联的程序外部输入;也可用于污点分析技术中对不可靠输入的数据传播分析,以及从程序敏感点出发反向分析,推导能够触发漏洞的污染源。