Affiliation:
1. Texas A&M University, USA
Abstract
We present SHARP, an incremental context-sensitive pointer analysis algorithm that scales to real-world large complex Java programs and can also be efficiently parallelized. To our knowledge, SHARP is the first algorithm to tackle context-sensitivity in the state-of-the-art incremental pointer analysis (with regards to code modifications including both statement additions and deletions), which applies to both k-CFA and k-obj. To achieve it, SHARP tackles several technical challenges: soundness, redundant computations, and parallelism to improve scalability without losing precision. We conduct an extensive empirical evaluation of SHARP on large and popular Java projects and their code commits, showing impressive performance improvement: our incremental algorithm only requires on average 31 seconds to handle a real-world code commit for k-CFA and k-obj, which has comparable performance to the state-of-the-art incremental context-insensitive pointer analysis. Our parallelization further improves the performance and enables SHARP to finish within 18 seconds per code commit on average on an eight-core machine.
Publisher
Association for Computing Machinery (ACM)
Subject
Safety, Risk, Reliability and Quality,Software
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis;Proceedings of the ACM on Programming Languages;2023-10-16
2. Persisting and Reusing Results of Static Program Analyses on a Large Scale;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
3. Incremental Call Graph Construction in Industrial Practice;2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP);2023-05
4. Lejacon: A Lightweight and Efficient Approach to Java Confidential Computing on SGX;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
5. Transpilers: A Systematic Mapping Review of Their Usage in Research and Industry;Applied Sciences;2023-03-13