.png){kind=icon}
返回
Towards Efficient Large-Scale Interprocedural Program Static Analysis on Distributed Data-Parallel Computation
.png){kind=icon}
PRE
AI
DOI：10.1109/TPDS.2020.3036190.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Static program analysis has been widely applied along the whole process of the program development for bug detection, code optimization, testing, etc. Although researchers have made significant work in static program analysis, it is still challenging to perform sophisticated interprocedural analysis on large-scale modern software. The underlying reason is that interprocedural analysis for large-scale modern software is highly computation- and memory-intensive, leading to poor efficiency and scalability. In this article, we introduce an efficient distributed and scalable solution for sophisticated static analysis. Specifically, we propose a data-parallel algorithm and a join-process-filter computation model for the CFL-reachability-based interprocedural analysis. Based on that, an efficient distributed static analysis engine called BigSpa is developed, which is composed of an offline batch static program analysis system and an online incremental static program analysis system. The BigSpa system has high generality and can support all kinds of static analysis tasks that can be expressed as CFL reachability problems. The performance of BigSpa is evaluated on real-world large-scale software datasets. Our experiments show that the offline batch system can exceed an order of magnitude compared with the most advanced analysis tools available on performance, and for incremental analysis with small batch updates on the same data sets, the online analysis system can achieve near real-time response, which is very fast and flexible.
Keyword:
Static analysis
Software
Scalability
Task analysis
Optimization
Big Data
Computational modeling
Interprocedural static analysis
distributed systems
data-parallel computation
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
6
论文数:
5.2K
被引数:
1.1W
机构
引用论文
Functional connectivity among brain networks in continuous feedback of finger force.png)
Neuroscience
NeuroscienceIF0
PREAI
分享收藏
Number of MRI T1-hypointensity corrected by T2/FLAIR lesion volume indicates clinical severity in patients with multiple sclerosisPLOS ONE
OAAI
PLOS ONEIF0
OAAI分享收藏
查看更多内容