交互过程数据流分析 【计】 interprocedural data-flow analysis