过程间数据流分析算法

• [计] interprocedural data flow analysis algorithm