一种改进数据流分析方法.docVIP

一种改进的数据流分析方法 　　[摘要]首先讨论传统的数据流分析技术;然后在引入分支依赖分析方法的基础上,对广泛应用于工程中的迭代数据流方程求解方法进行分析,提出一种改进的数据流分析方法,并将其应用到实际的程序分析中。 　　[关键词]数据流分析数据流方程控制流语句块 　　中图分类号:TP6文献标识码:A文章编号:1671-7597(2009)0710059-02 　　 　　一、引言 　　 　　基于源代码静态分析的数据流分析[1][2]作为程序分析的一种重要技术,能够从程序代码中收集程序的语义信息,它不必实际运行程序就能够获取程序运行时的信息,更易于人们理解和分析程序,因此被广泛用于解决编译优化、程序验证、调试、测试和并行编程环境等中的问题。 　　数据流分析获取信息的方法有两种,对于结构化的程序可采用语法制导的求解方法,对于任意控制流的程序可采用迭代数据流方程求解的方法。迭代数据流方程求解方法首先要建立控制流图,然后为每个控制流图结点建立数据流方程,最后通过迭代求解数据流方程来获取数据流信息,这种方法也被称为到达-定值的迭代算法[1],在实际的工程中应用较广。到达-定值迭代算法需多次迭代计算控制流图上所有结点的定值信息[3],时间复杂度较高。本文提出一种可应用于一般数据流分析的改进方法,在最小的迭代求解范围内以最小的迭代次数可获取完整准确的数据流信息。 　　本文通过引入软件测试中分支依赖“语句块”的划分思想粗化分析粒度,对传统的迭代数据流方程求解方法进行改进,将控制流图上所有结点定值的迭代求解过程转化为局部的对循环语句块内结点定值的迭代求解过程。最后,对改进方法进行分析和对比并将其应用到实际的程序分析中。 　　 　　二、迭代数据流方程求解方法及其改进思想 　　 　　(一)数据流方程及其建立 　　对于每个语句对应的控制流图结点N,可以定义out[N],kill[N],gen[N]和in[N],其中gen[N]为N对应语句处产生的定值集合,kill[N]为N对应的语句在程序中注销的定值集合;in[N]为N对应语句前一点到达的定值集合,out[N]为N对应语句后一点到达的定值集合。并且,产生和注销的信息依赖于所需要的信息。若每个控制流图结点的gen和kill已经计算,则可建立如下两组方程: 　　(2-1) 　　其中,P是N的控制流图中的前驱结点。第一组方程表明,进入语句开始点的定值是所有前驱结点到达的定值集合的并;第二组方程表明,控制流通过一个语句时,语句末尾的定值是这个语句产生的定值,或是进入语句开始点并且没有被这个语句注销的定值。这样的方程叫做数据流方程。如果控制流图有n个结点,则从(2-1)可建立2n个方程。 　　 　　(二)到达-定值迭代算法和语句块 　　到达-定值迭代算法反复计算这2n个方程,直到所有结点的in和out集合都不再改变(即每一个控制流图结点都到达平衡状态)。每一次的迭代求解都要对所有结点的in和out重新计算一次。 　　到达-定值迭代算法求解过程中,循环结点及其内部循环语句结点不能到达平衡状态,导致了求解过程的多次迭代。对一个完整的控制流图,循环结点一定存在一个不满足循环条件(False分支)的出口,否则,该循环将陷入死循环而导致控制流图的不完整。因此,本文通过“封装”循环结点及其内部循环语句结点来简化数据流方程的迭代求解过程。到达-定值迭代算法的数据流分析方法是基于语句级别的程序分析。在软件测试中,静态分析技术――分支依赖分析是以语句块为分析粒度的程序分析。分析粒度从语句级别粗化到语句块级别,有助于获取语句块之间的依赖信息。 　　基于分支依赖分析中分析粒度可以粗化这一思想,本文将求解过程中遇到的循环结点及其内部结点“封装”成一个整体,称作为一个循环语句块,即沿着循环结点满足循环条件(True分支)出口构成的环上的所有语句结点组成的集合。对控制流图而言,循环语句块可被看作是一个虚的语句结点,该语句结点的迭代结果即为循环语句块中的循环结点到达平衡状态的迭代结果;而对循环语句块的内部结点则是一个多次迭代数据流方程求解的过程。获取循环语句结点最终的定值迭代求解结果后,沿着循环结点的False分支继续进行数据流方程求解。由此,可以认为最好情况下只需一遍迭代数据流方程求解即可使控制流图上所有结点到达平衡状态。 　　含循环结点的循环语句块(以while结点为例)的提取方式和数据流分析过程如下: 　　1.基本while语句结点(见图2.1) 　　图2.1中,结点1和结点3构成环,因此结点1和3构成一个循环语句块。根据结点1的第一次定值求解结果对该循环语句块进行到达-定值迭代求解,直到结点1和结点3到达平衡状态。此时结点1的最后的迭代结果即为该循环语句块的最终求解结果。 　　2