Flow-insensitive interprocedural alias analysis in the presence of pointers-Reference-Cited by-同舟云学术

Flow-insensitive interprocedural alias analysis in the presence of pointers

Published:1995 Issue: Volume: Page:234-250
ISSN:0302-9743
Container-title:Languages and Compilers for Parallel Computing
language:
Short-container-title:

Author:

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

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0025882

Reference34 articles.

1. A. V. Aho, M. R. Garey, and J. D. Ullman. The transitive reduction of a directed graph. SIAM Journal on Computing, 1(2):131–137, 1972.

2. Frances Allen, Michael Burke, Philippe Charles, Ron Cytron, and Jeanne Ferrante. An overview of the ptran analysis system for multiprocessing. Proceedings of the ACM 1987 International Conference on Supercomputing, 1987. Also published in The Journal of Parallel and Distributed Computing, Oct., 1988, 5(5) pages 617–640.

3. Randy Allen, David Callahan, and Ken Kennedy. Automatic decomposition of scientific programs for parallel execution. Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, pages 63–76, January 1987.

4. John Banning. An efficient way to find the side effects of procedure calls and the aliases of variables. 6th Annual ACM Symposium on the Principles of Programming Languages, pages 29–41, January 1979.

5. Michael Burke. An interval-based approach to exhaustive and incremental interprocedural data flow analysis. Technical report, IBM Research, August 1987. Report RC12702.

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

1. Detecting Command Injection and Cross-site Scripting Vulnerabilities Using Graph Representations;2023 IEEE International Conference on Data and Software Engineering (ICoDSE);2023-09-07

2. Memory management of safety-critical hard real-time systems designed in SystemJ;Microprocessors and Microsystems;2019-02

3. On the verification of SCOOP programs;Science of Computer Programming;2017-01

4. Background;Separation Logic for High-level Synthesis;2017

5. Sound static deadlock analysis for C/Pthreads;Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering;2016-08-25