第七讲 程序切片 程序分析技术知识 研究生课件.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 定义五、数据依赖 如果结点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