论文部分内容阅读
在研究现有控制流分析理论的基础上,该文采用基于图论的方法求取控制依赖关系,该方法具有很好的可扩展性和通用性.它主要是通过将控制流图转化成后必经结点树,再根据后经结点树寻找控制依赖关系.在详细讨论控制依赖计算的基础上,提出了一种控制依赖图的优化表示方法,即用扩充的后必经结点树和控制依赖集合数组来表示控制依赖关系,并基于这种方法高效地实现了三种控制依赖集合的查询:cd集合(依赖于同一语句的语句集)的查询、conds集合(为同一语句所依赖的语句集)的查询和cdequiv集合(具有相同conds集合的语句集)的查询.