面向对象程序切片中的控制流研究-计算机软件与理论专业毕业论文.docxVIP

摘要摘 摘要 摘 要 控制流分析是程序切片的关键技术，它主要是用来求取语句间的控制依赖关 系。由于程序切片技术在软件安全性分析、程序验证、软件维护等方面有着广泛 的应用，并占据重要的地位，因此，研究程序切片中的控制流分析具有实际意义。 在研究现有控制流分析理论的基础上，本文采用基于图论的方法求取控制依 赖关系，该方法具有很好的可扩展性和通用性。它主要是通过将控制流图转化成 后必经结点树，再根据后必经结点树寻找控制依赖关系。在详细讨论控制依赖计 算的基础上，提出了一种控制依赖图的优化表示方法，即用扩充的后必经结点树 和控制依赖集合数组来表示控制依赖关系，并基于这种方法高效地实现了三种控 制依赖集合的查询：cd集合(依赖于同一语句的语句集)的查询、conds集合(为 同一语句所依赖的语句集)的查询和cdequiv集合(具有相同conds集合的语句集) 的查询。 关键词： 控制流分析程序切片控制依赖后必经结点 AbstractAbstract Abstract Abstract Control flow analysis is key technology ofprogram slicing，which is mainly used to find the control dependence relation between sentences．Program slicing is w