BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework
| dc.contributor.author | Sun, Zewen | en |
| dc.contributor.author | Xu, Duanchen | en |
| dc.contributor.author | Zhang, Yiyu | en |
| dc.contributor.author | Qi, Yun | en |
| dc.contributor.author | Wang, Yueyang | en |
| dc.contributor.author | Zuo, Zhiqiang | en |
| dc.contributor.author | Wang, Zhaokang | en |
| dc.contributor.author | Li, Yue | en |
| dc.contributor.author | Li, Xuandong | en |
| dc.contributor.author | Lu, Qingda | en |
| dc.contributor.author | Peng, Wenwen | en |
| dc.contributor.author | Guo, Shengjian | en |
| dc.date.accessioned | 2024-03-01T13:18:26Z | en |
| dc.date.available | 2024-03-01T13:18:26Z | en |
| dc.date.issued | 2023-11-30 | en |
| dc.date.updated | 2024-01-01T08:55:45Z | en |
| dc.description.abstract | Apart from forming the backbone of compiler optimization, static dataflow analysis has been widely applied in a vast variety of applications, such as bug detection, privacy analysis, program comprehension, etc. Despite its importance, performing interprocedural dataflow analysis on large-scale programs is well known to be challenging.In this paper, we propose a novel distributed analysis framework supporting the general interprocedural dataflow analysis.Inspired by large-scale graph processing, we devise a dedicated distributed worklist algorithm tailored for interprocedural dataflow analysis. We implement the algorithm and develop a distributed framework called BigDataflow running on a large-scale cluster.The experimental results validate the promising performance of BigDataflow – it can finish analyzing the program of millions lines of code in minutes. Compared with the state-of-the-art, BigDataflow achieves much more analysis efficiency. | en |
| dc.description.version | Published version | en |
| dc.format.mimetype | application/pdf | en |
| dc.identifier.doi | https://doi.org/10.1145/3611643.3616348 | en |
| dc.identifier.uri | https://hdl.handle.net/10919/118229 | en |
| dc.language.iso | en | en |
| dc.publisher | ACM | en |
| dc.rights | In Copyright | en |
| dc.rights.holder | The author(s) | en |
| dc.rights.uri | http://rightsstatements.org/vocab/InC/1.0/ | en |
| dc.title | BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework | en |
| dc.type | Article - Refereed | en |
| dc.type.dcmitype | Text | en |