一种全局数据流分析的新方法

摘要

本文提出了一种通用的全局数据流分析新方法及相应的算法,并给出了该算法的时间复杂性分析及其正确性证明。与[6]相比,本文提出的算法无须构造颇费时空的包扎多图,且其时间复杂性是线性的。