第四讲 数据流分析技术知识 程序分析技术知识 研究生课件.pptVIP

程序分析技术;一、概述;二、基本概念;定义二、程序图 是一个有向图，它的结点为基本块，有一个入口结点（无前驱结点）和一个出口结点（无后续结点） 扩展：程序图有三种表示（常用的） 流程图 N-S图 PAD图;定义三、定值 在基本块当中，若有d: x:=e,则称有对x的定值，d: 为 x的定值点。（注：d:为程序中引入的标识，对程序无影响） 定义四、注销 若有对变量x的赋值x:=…,则程序注销了x的原定值。用kill[B]表示B中被注销的所有变量之集。;可到达的定值数据流方程 in[B*]={}，B*为入口块。； out[B]=def[B] ∪ (in(B)-kill(B) ) in[B] = ∪ (out[Bi]) i=1,2,…n；Bi为B的前驱结点 其中 in[B]表示在B入口处有定值的变量之集 out[B]表示定值可到达B出口处的变量定值之集 ;;in[B1] = {} out[B1] = {d2，d3} in[B2] = {d2,d3,d7} out[B2] = {d2,d4,d5,d7} in[B3] = {d2,d4,d5,d7} out[B3] = {d2,d4,d5,d6,d7} in[B4] = {d2,d4,d5,d7} out[B4] = {d4,d5,d7} in[B5] = {d2,d4,d5,d6,d7} out[B5] = {d2,d4,d5,d7,d8,d9};定义七、定义性出现，使用性出现 称第一次出现在赋值命令左部的变量出现（即x:=…第一次出现）为变量（x）的定义性出现，而称其他部位中的变量出现为其使用性出现;定义八、向上暴露的使用 在(Bi,di’)有x的使用性出现，若从Bi的入口到di’-1点无对x的赋值。则称x在(Bi,di’)点的出现为向上暴露的使用，用use_live[B]表示B中所有向上暴露的使用;定义九、变量的活跃性 说变量x在（Bi,di’）点活跃，若： 1.存在一点（Bj,dj’）有x的使用性出现。 2.从（Bi,di’)到（Bj,dj’)存在一条通路，且在该路上无对x的定值。 定义十、注销活跃性 若在某一点（Bk,dk) 有X:=，则称注销X的活跃性;活跃变量的数据流方程 in_live[B]=use_live[B]∪(out_live[B]- kill_live[B]) out_live[B]=∪ in_live[Bi] Bi为B的后续 out_live[B*]={} B*为出口块 其中 in_live[B]={x|x在B入口处活跃} out_live[B]={x|x在B出口处活跃} use_live[B]={x|B中所有局部向上暴露使用的变量} kill_live[B]={x|B注销其活跃性的变量}。;定义十一、过程调用块 把过程调用P(e1,…en)定义为一个独立的基本块，称为过程调用块 。 定义十二、过程的返回块 调用块的接续为返回块（或return的后续块）难点： 下标变量的分析 别名??题