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

程序分析技术;一、检测数据流异常;检测方法（a）;数据流方程（a）;数据流方程（a）;数据流方程（b）;程序优化：全局常表达式节省;定义：常量定值 若在块B中有x:=c，其中c是常数,且该定值是向下暴露的，，则称x有一个常量定值，记为x·c。 定义： 注销常量定值 若有x:=E，则称注销了x的常量定值。 ; 定义： 广义常量定值 若块B中有向下暴露的定值x:=E，且 E的值可计算为一个常量c，则称产生一个广义常量定值x·c。 定义： 注销广义常量定值 若有x=… 则称注销了广义常量定值;数据流方程;优化过程; ;in-ac[B1] = {} out-ac[B1] = {x.1,y.2} in-ac[B2] = {x.1,y.2} out-ac[B2] = {x.1,y.2,z.3,b.4} in-ac[B3] = {x.1,y.2} out-ac[B3] = {x.1,y.2,z.3,b.4} in-ac[B4] = {x.1,y.2,z.3,b.4} out-ac[B4] = {x.1,y.2,z.3,b.4,k.7,u.9,r.16} ;程序优化：公共子表达式节省;数据流方程;需要注意的两个问题;定义：等式定值 在块B中，若有x:=y。且从di+1到B出口无对x或y的赋值，则称B有了一个等式定值。即x=y 定义：注销等式定值 若有对x的赋值x:=…，则称注销了所有x的等式定值。;数据流方程 in_eq[B0] = {} B0为入口块 out_eq[Bi] = def_eq[Bi]∪ (in_e[qBi]-kill_eq[Bi]) in_eq[Bi] = ∩Bj?pre(Bi)out_eq[Bj]; 利用等式定值和表达式定值，可以解决形式不相同但语义相同的表达式节省问题。 例如： X:=A*B [1] C:=A [2] Y:=C*B [3] 由[2]可知[1][3]等价