首页/ 江苏鸿程大数据技术与应用研究院有限公司/ 专利详情

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

基本信息

申请号 CN202010034402.9 申请日 -
公开（公告）号 CN110851178A 公开（公告）日 2020-02-28
申请公布号 CN110851178A 申请公布日 2020-02-28
分类号 G06F8/75 分类 计算；推算；计数;
发明人 麦丞程 申请（专利权）人 江苏鸿程大数据技术与应用研究院有限公司
代理机构 北京联瑞联丰知识产权代理事务所（普通合伙） 代理人 江苏鸿程大数据技术与应用研究院有限公司
地址 210000 江苏省南京市江北新区研创园团结路99号孵鹰大厦1120室
法律状态 -

摘要

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