静态分析

检测流图的可归约性

这篇文章的主要内容来自于Tarjan的Testing Flow Graph Reducibility1。研究这篇文章的目的是为了得到求解归约序列的算法。依照规约序列分析可以很好的降低分析的复杂度,比如“从CFG直接构建GSA的算法”中的算法。