一种基于分布式图可达计算的过程间程序静态分析方法

摘要

本发明公开了一种基于分布式图可达计算的过程间程序静态分析方法，包括以下步骤：（a）将程序表示图和对应分析语法作为算法输入，图中传递边根据源顶点和目标顶点进行分区，将连接到同一个节点的边移动到同一个分区中；（b）对不同分区中的边执行分析语法的标签匹配操作，产生新边；（c）对新边进行全局和局部去重，保留新生成的传递边；（d）对各分区进行对应可达关系的添加，重复（b）‑（c），直到不再产生新的传递边为止，得到过程间静态分析结果。本方法能够提高大规模程序静态分析的性能和可扩展性，促进其应用与解决实际问题。