精确的过程间分析——基于上下文无关文法的分析.PDF

软件分析 精确的过程间分析 ——基于上下文无关文法 的分析 熊英飞 北京大学 2015 复习：基于克隆的过程间分 析 • 方法的调用序列作为上下文 • 对于每一个上下文产生一个分析结果 • 无法精确的处理有递归调用的情况 • 解决方法：取最近k次调用作为上下文 2 精确的上下文敏感分析 • 精确的上下文敏感分析 • =考虑最近任意多次调用的上下文 • =对于任意分析中考虑的路径，路径中的调用边和返 回边全部匹配（称为可行路径） • 能否做到精确的上下文敏感分析？ 3 精确的上下文敏感分析 • 历史上提出过多种精确上下文敏感分析方法 • Functional • Call String • Dataflow Facts-based Summary • CFL-reachability • 近年来的研究逐渐集中在CFL-Reachability上 • 理解上比较直观 • 能够优化出高效算法 • 能否覆盖任意的具备分配性的数据流分析（但不能覆 盖所有已有方法） • 基于该模型讨论清楚了若干可判定性问题 4 Dyck-CFL 括号匹配的上下文无关语言 S - {1 S }1 | { S } 2 2 | … | aS | SS | 注意区分上下文无关语言和上下文敏感性中的上下文 5 Dyck-CFL与上下文敏感性 • 给系统中的每一处调用分配唯一一对括号 A() C() int B(x, y) 一些语句 {2 一些语句 {1 一些语句 B(a,b) B(a,b) return c }2 一些语句 一些语句 }1 • 给定一条路径，如果该路径上的符号组成Dyck-CFL 的句子，则该路径是可行路径 复习：数据流分析的分配性 Distributivity • 什么叫数据流分析的分配性？ • 一个数据流分析满足分配性，如果 • ∀ ∈ ,, ∈: ⊓ = ⊓ • 符号分析是否满足分配性？ • GEN/KILL标准型 = − ∪GEN是否满 足分配性？ 7 数据流分析的分配性 • 推论 • 给定任意满足分配性的数据流分析X ，其entry结点的 初值是 。 • 令Y和Z为仅有初值和X不同的数据流分析，其中Y和Z 的初值分别是 、 ，且 = ⊓ 。 X • 令DATA 为通过X分析得出的v结点的值 v X Y