Interprocedural pointer alias analysis-Reference-Cited by-同舟云学术

Interprocedural pointer alias analysis

Published:1999-07 Issue:4 Volume:21 Page:848-894
ISSN:0164-0925
Container-title:ACM Transactions on Programming Languages and Systems
language:en
Short-container-title:ACM Trans. Program. Lang. Syst.

Author:

Hind Michael¹,Burke Michael¹,Carini Paul¹,Choi Jong-Deok¹

Affiliation:

1. IBM T. J. Watson Research Center, Yorktown Heights, NY

Abstract

We present practical approximation methods for computing and representing interprocedural aliases for a program written in a language that includes pointers, reference parameters, and recursion. We present the following contributions: (1) a framework for interprocedural pointer alias analysis that handles function pointers by constructing the program call graph while alias analysis is being performed; (2) a flow-sensitive interprocedural pointer alias analysis algorithm; (3) a flow-insensitive interprocedural pointer alias analysis algorithm; (4) a flow-insensitive interprocedural pointer alias analysis algorithm that incorporates kill information to improve precision; (5) empirical measurements of the efficiency and precision of the three interprocedural alias analysis algorithms.

Publisher

Association for Computing Machinery (ACM)

Subject

Software

Link

https://dl.acm.org/doi/pdf/10.1145/325478.325519

Reference85 articles.

1. The Transitive Reduction of a Directed Graph

2. Andersen L. O. 1994. Program analysis and specialization for the c programming language. Ph.D. thesis DIKU University of Copenhagen. Available at ftp.diku.dk/pub/diku/semantics/papers/D-203.dvi.Z.]] Andersen L. O. 1994. Program analysis and specialization for the c programming language. Ph.D. thesis DIKU University of Copenhagen. Available at ftp.diku.dk/pub/diku/semantics/papers/D-203.dvi.Z.]]

3. Austin T. 1995. Pointer-intensive benchmark suite version 1.1. http://www.cs.wisc.edu/~austin/ptr-dist.html.]] Austin T. 1995. Pointer-intensive benchmark suite version 1.1. http://www.cs.wisc.edu/~austin/ptr-dist.html.]]

4. Balan S. and Bays W. 1992. Spec announces new benchmark suites cint92 and cfp92. Tech. rep. Systems Performance Evaluation Cooperative. March. SPEC Newsletter 4(1).]] Balan S. and Bays W. 1992. Spec announces new benchmark suites cint92 and cfp92. Tech. rep. Systems Performance Evaluation Cooperative. March. SPEC Newsletter 4(1).]]

Cited by 102 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. SPATA: Effective OS Bug Detection with Summary-Based, Alias-Aware and Path-Sensitive Typestate Analysis;ACM Transactions on Computer Systems;2024-09-06

2. Combining Structured Static Code Information and Dynamic Symbolic Traces for Software Vulnerability Prediction;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12

3. Rapid: Region-Based Pointer Disambiguation;Proceedings of the ACM on Programming Languages;2023-10-16

4. The Bounded Pathwidth of Control-Flow Graphs;Proceedings of the ACM on Programming Languages;2023-10-16

5. Bibliography;Engineering a Compiler;2023