| Title | Scalable Call Graph Constructor for Maven |
| Publication Type | Conference Paper |
| Year of Publication | 2021 |
| Authors | Keshani, Mehdi |
| Conference Name | 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) |
| Date Published | may |
| Keywords | compositionality, Ecosystems, Libraries, Logic and Verification, Metrics, Pragmatics, program analysis, pubcrawl, resilience, Resiliency, Scalability, scalable verification, security, software engineering, Theory of computation, Tools |
| Abstract | As a rich source of data, Call Graphs are used for various applications including security vulnerability detection. Despite multiple studies showing that Call Graphs can drastically improve the accuracy of analysis, existing ecosystem-scale tools like Dependabot do not use Call Graphs and work at the package-level. Using Call Graphs in ecosystem use cases is not practical because of the scalability problems that Call Graph generators have. Call Graph generation is usually considered to be a "full program analysis" resulting in large Call Graphs and expensive computation. To make an analysis applicable to ecosystem scale, this pragmatic approach does not work, because the number of possible combinations of how a particular artifact can be combined in a full program explodes. Therefore, it is necessary to make the analysis incremental. There are existing studies on different types of incremental program analysis. However, none of them focuses on Call Graph generation for an entire ecosystem. In this paper, we propose an incremental implementation of the CHA algorithm that can generate Call Graphs on-demand, by stitching together partial Call Graphs that have been extracted for libraries before. Our preliminary evaluation results show that the proposed approach scales well and outperforms the most scalable existing framework called OPAL. |
| DOI | 10.1109/ICSE-Companion52605.2021.00046 |
| Citation Key | keshani_scalable_2021 |
Scalable Call Graph Constructor for Maven