标签:BigSpa Towards Interprocedural Efficient VI distributed Analysis program analysi
Abstract
和BigSpa一样https://www.cnblogs.com/xuesu/p/15760169.html
目的: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 distributed solution
IV. Offline batch static program analysis system
V. Online incremental static program
VI. System Design and usage
VII. 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)
标签:BigSpa,Towards,Interprocedural,Efficient,VI,distributed,Analysis,program,analysi 来源: https://www.cnblogs.com/xuesu/p/15761084.html
本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享; 2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关; 3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关; 4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除; 5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。