Proj EULibHarn Paper Reading: Bigspa: An efficient interprocedural static analysis engine in the cloud
Abstract
目的：large-scale 进程间分析
问题：计算代价和内存代价搞
本文：data-parallel, a join-process filter computation model
基于CFL可达性的进程间分析
面向云
效果：在百万行代码上能够进行准确进程间分析
I. Intro
II. Background
A. CFL Reachability
B. Two Examples
- Alias Analysis
- Dataflow Analysis
Alias Analysis
Dataflow Analysis
C. Worklist Algo
III. A big data solution
IV. BIGSPA SYSTEM
V. System Usage
VI. EVALUATION
Q1: What is the performance of BigSpa? (§VI-A)
Q2: How does BigSpa compare to the state-of-the-art single-machine analysis system? (§VI-B) Q3: How does BigSpa compare to other state-of-the-art distributed systems for analysis workloads? (§VI-C)
