.png){kind=icon}
返回
Scaling Inter-procedural Dataflow Analysis on the Cloud
.png){kind=icon}
PRE
AI
DOI：10.1145/3786763.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
除了构成编译器优化的基础，静态数据流分析已被广泛应用于各种应用，如错误检测、隐私分析和程序理解。尽管其重要性，对大规模程序进行过程间数据流分析是众所周知的挑战。在本文中，我们提出了一种新颖的分布式分析框架，支持通用的过程间数据流分析。受大规模图处理的启发，我们为整个程序分析和增量分析设计了专门的分布式工作列表算法。我们实现了这些算法，并开发了一个名为BigDataflow的分布式框架，运行在大型集群上。实验结果验证了BigDataflow的优异性能——BigDataflow可以在几分钟内完成百万行代码的程序分析。与现有技术相比，BigDataflow实现了更高的分析效率。
Keyword:
Interprocedural dataflow analysis
distributed computing
期刊
A
IF:
1.6
论文数:
10
被引数:
0
机构
查看更多机构
引用论文
暂无论文信息