第七讲 程序切片 程序分析技术 研究生课件.pptVIP

程序分析技术 第七讲 程序切片 1 引言 Weiser于1979年提出 一个程序片S是由程序P中那些可能影响在某一兴趣点n计算变量v的值的部分组成的。 简单例 read a; read b; read c; a=z*b; print b; print a; 二、基本概念 定义一、控制流图 控制流图CFG=(N,E,S,e,v)是一个有向图，其中， N是结点集，程序中的语句和消词属于该集， E是边集，语句n,m之间的控制关系用（n,m） ? E表示，记为 n ? m S,e分别为开始结点和终点结点 V E ? ｛true, false, ?｝ 谓词输出边标true或false，其它边标? of 定义二 、CFG的路径，路径可到达，可实现路径 若任意1≤i ≤k-1,G中的一个结点序列P=n1,….nk. 都满足ni ? ni+1,则称P为G的一个路径。 如果G中存在一条路径q….p则称p是q的可到达的，记为q ? p。 G中的一条路径是程序的一条可执行序列，则称是可实现的。 实例 sum=0; mul=1; a=1; b=read(); while(a=b){ sum=sum+a; mul=mul*a; a=a+1;} write(sum); write(mul); 1 2 3 4 5 6 7 8 9 10 false true START EXIT 定义三、必经点 从开始点s到n的所以路径都经过m，则称m为n的前必经点。 2.从n到出口e的所以路径都经过m，则称m为n的后必经点。 定义四、控制依赖 如果结点n,m满足下面条件，则称n 控制依赖m,记为n ? m 1.G上存在一条路m,m1,m2,…mk,n，n是mi的后必经点1≤i ≤k. 2.n不是m的后必经点。 3.若m是G的唯一的开始结点，则m的所有后必经点都控制依赖于m。 cd 定义五、数据依赖 如果结点m,n满足下面条件，则称n 数据依赖于m,记n ? m, 存在一个变量v,有vεdef(m)∩ref(m) 存在（m,m1,…mk,n）且v?def(mi) i=1,…k. 定义六、程序依赖图 程序依赖图PDG=(N’,E’,S’,e’)是cfg=(N,E,S,e)的一个变形， 其中, N’=N, S’=S, e’=e, E’=Edd∪Ecd 定义七、传递依赖 如果m,n满足如下两点，则称m传递依赖于n,记为m→n 存在一条路径p=n1,n2…nz,n1=n,nk=m,且每一ni+1都控制依赖或数据依赖于ni p是一条可实现的路径。 *d 定义八、程序片 PDG关于阶段n的后程序片S(n)是由所有n传递依赖结点m组成的集合 S(n)={m|m → n, n为分片准则} *d 三、Weiser分片 分片是从源程序中删除掉0或多个语句， 分片准则是一个二元组（n,v）,其中，n为PDG中的一个结点，v是程序变量的一个子集，分片是程序语句的一个子集，满足： s是一个有效的程序， 对任一个输入，p中断，s命令中断，且无论怎么执行，v的值不变。 这种分片不唯一（最小） 四、分片分类 动态分片 静态分片 条件分片 ……