Context-Insensitive Alias Analysis Reconsidered

ACM SIGPLAN Notices

Volumn 30, Issue 6, 1995, Pages 13-22

  Ruf, Erik ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 35248816983     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/223428.207112     Document Type: Article

References (23)

1. [ABS94] T. M. Austin, S. E. Breach, and G. S. Sohi. Efficient detection of all pointer and array access errors. In Proceedings of the SIGPLAN'9f Conference on Programming Language Design and Implementation, pages 290–301. ACM Press, 1994.
2. [CBC93] J.-D. Choi, M. Burke, and 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, and 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 procedural 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, and F. K. Zadeck. Analysis of pointers and structures, In Proceedings of the SIGPLAN TO Conference on Programming Lan-quaqe Desiqn 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 Desiqn and Implementation, pages 230–239. ACM Press, 1994.
10. [EGH94] M Emami, R Ghiya, and 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. 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, and T. Reps. Dependence analysis for pointer variables. In Proceedings of the SIGPLAN'89 Symposium on Compiler Construction, pages 28–40, June 1989 Published as SIG-PLAN Notices Vol 24, Num, 7.
13. [Lan92] W. A. Landi, Interprocedural Aliasing in the Presence of Pointers PhD thesis, Rutgers University, Jan 1992
14. [LR92] W. Landi and B. G. Ryder, A safe approximate algorithm for mterprocedural pointer aliasing, In Proceedings of the SIGPLAN'92 Conference on Programming Language Design and Implementation, pages 230–248 ACM Press, June 1992.
15. [LRZ93] W. Landi, B. G. Ryder, and S. Zhang, Interprocedural 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, and B. G. Ryder, Interprocedural 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. Ruggieri 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 maintenance 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, and 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, and 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, and 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)