Context-insensitive alias analysis reconsidered

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn Part F129371, Issue , 1995, Pages 13-22

  Ruf, Erik ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADA (PROGRAMMING LANGUAGE); C (PROGRAMMING LANGUAGE); COMPUTER PROGRAMMING LANGUAGES;

ALIAS ANALYSIS; BENCHMARK PROGRAMS; CONTEXT SENSITIVE; CONTEXT-INSENSITIVE ANALYSIS; CONTEXT-SENSITIVE ANALYSIS; INTER-PROCEDURAL ANALYSIS; POINTS-TO ANALYSIS; RETURN PATHS;

CONTEXT SENSITIVE LANGUAGES;

EID: 85016876025     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/207110.207112     Document Type: Conference Paper

References (23)

1. [ABS94] T. M Austin, S. E. Breach, G. S. Sohi. Efficient detection of all pointer and array access errors. In Proceedings of the SIGPLAN '94 Conference on Programming Language Design and Implementation, pages 290-301. ACM Press, 1994.
2. [CBC93] J-D Choi, M. Burke, P. Carini. Efficient flow-sensitive mterprocedural computation of pointer-induced aliases and side effects. In Proceedings of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 232-245 ACM Press, Jan. 1993.
3. [CFR+91] R. Cytron, J Ferrante, B K Rosen, M. N Wegman, F. K. Zadeck Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, 13(4) 451-490, Oct 1991
4. [Coo89] B. G. Cooper. Ambitious data flow analysis of proce-dural programs. Master's thesis, University of Minnesota, May 1989.
5. [Cou86] D S. Coutant Retargetable high-level alias analysis. In Proceedings of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, pages 110-118. ACM Press, 1986.
6. [CR82] A. L. Chow and A Rudmik The design of a data flow analyzer. In Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, pages 106-119. ACM Press, 1982.
7. [CWZ90] D. R Chase, M. Wegman, F. K. Zadeck. Analysis of pointers and structures In Proceedings of the SIGPLAN '90 Conference on Programming Language Design and Implementation, pages 296-310, June 20-22, 1990
8. [Deu92] A. Deutsch. A storeless model of aliasing and its abstractions using finite representations of right-regular equivalence relations. In International Conference on Computer Languages, pages 2-13 IEEE, Apr. 1992.
9. [Deu94] A. Deutsch. Interprocedural may-alias analysis for pointers. Beyond k-limiting. In Proceedings of the SIGPLAN '94 Conference on Programming Language Design and Implementation, pages 230-239. ACM Press, 1994.
10. [EGH94] M Emami, R Ghiya, L J Hendren Context-sensitive interprocedural analysis in the presence of function pointers. In Proceedings of the SIGPLAN '94 Conference on Programming Language Design and Implementation, pages 242-256. ACM Press, June 1994
11. [Har89] W. L Harrison III. The interprocedural analysis and automatic parallelization of Scheme programs Lisp and Symbolic Computation, 2(3/4).179-396, 1989.
12. [HPR89] S. Horwitz, P. Pfeiffer, T. Reps. Dependence analysis for pointer variables. In Proceedings of the SIGPLAN'89 Symposium on Compiler Construction, pages 28-40, June 1989 Published as SIGPLAN Notices Vol 24, Num. 7.
13. [Lan92] W. A Landi Interprocedural Aliasing tn the Pres-ence of Pointers PhD thesis, Rutgers University, Jan 1992
14. [LR92] W. Landi and B. G. Ryder A safe approximate al-gorithm for interprocedural pointer aliasing In Proceedings of the SIGPLAN '92 Conference on Programming Language Design and Implementation, pages 235-248 ACM Press, June 1992
15. [LRZ93] W Landi, B G Ryder, S Zhang Interproce-dural modification side effect analysis with pointer aliasing. In Proceedings of the SIGPLAN '93 Conference on Programming Language Design and Implementation, pages 56-67 ACM Press, June 1993
16. [PLR92] H. D. Pande, W Landi, B. G. Ryder. Interpro-cedural reaching definitions in the presence of single level pointers. Technical Report lcsr-tr-193, Laboratory for Computer Science Research, Rutgers University, Oct 1992.
17. [RM88] C. Ruggien and T P. Murtagh. Lifetime analysis of dynamically allocated objects. In Proceedings of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, pages 285-293, Jan. 1988.
18. [Ruf95] E. Ruf Optimizing sparse representations for dataflow analysis. In ACM SIGPLAN Workshop on Intermediate Representations (IR'95), pages 50-61, Jan 1995 Proceedings available as Microsoft Research technical report MSR-TR-95-01
19. [Ryd89] B. G. Ryder Ismm Incremental software mainte-nance manager. In Proceedings of the IEEE Computer Society Conference on Software Maintenance, pages 142-164, 1989.
20. [WCES94a] D. Weise, R. F Crew, M Ernst, B. Steensgaard. Value dependence graphs: Representation without taxation In Proceedings 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 297-310, Jan 1994
21. [WCES94b] D. Weise, R F. Crew, M. Ernst, B. Steensgaard Value dependence graphs: Representation without taxation. Technical Report MSR-TR-94-03, Microsoft Research, Redmond, WA, Apr. 13, 1994.
22. [Wei80] W. E. Weihl. Interprocedural data flow analysis in the presence of pointers, procedure variables, label variables In Proceedings of the Seventh Annual ACM Symposium on Principles of Programming Languages, pages 83-94, Jan 1980.
23. [WL95] R P Wilson and M S Lam. Efficient context-sensitive pointer analysis for C programs In Proceedings of the SIGPLAN '95 Conference on Programming Language Design and Implementation ACM Press, June 1995 (this volume)