Modular interprocedural pointer analysis using access paths: Design, implementation, and evaluation

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 35, Issue 5, 2000, Pages 57-69

  Cheng, Ben Chung ^a,b   Hwu, Wen Mei W ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

^b SUN MICROSYSTEMS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 17144409441     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/358438.349311     Document Type: Review

References (41)

1. R. Allen and S. Johnson, "Compiling C for vectorization, parallelization, and inline expansion," in Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation, pp. 241-249, June 1988.
2. F. Chow and J. Hennessy, "Register allocation by priority-based coloring," in Proceedings of the SIGPLAN 1984 Symposium on Compiler Construction, pp. 222-232, June 1984.
3. 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, vol. 13, pp. 451-490, October 1991.
4. M. Emami, R. Ghiya, and L. J. Hendren, "Context-sensitive interprocedural points-to analysis in the presence of function pointers," in Proceedings of the ACM SIGPLAN '94 Conference on Programming Language Design and Implementation, pp. 242-256, June 1994.
5. R. P. Wilson and M. S. Lam, "Effective context-sensitive pointer analysis for c programs," in Proceedings of the ACM SIGPLAN '95 Conference on Programming Language Design and Implementation, pp. 1-12, June 1995.
6. R. Chatterjee, B. G. Ryder, and W. A. Landi, "Relevant context inference," in Proceedings of the ACM Symposium on Principles of Programming Languages, pp. 133-146, January 1999.
7. M. Hind and A. Pioli, "Assessing the effects of flow-sensitivity on pointer alias analyses," in Lecture Notes in Computer Science, Springer-Verlag, 1998. Proceedings from the 5th International Static Analysis Symposium.
8. E. Ruf, "Context-insensitive alias analysis reconsidered," in Proceedings of the ACM SIGPLAN 95 Conference on Programming Language Design and Implementation, pp. 13-22, June 1995.
9. W. Landi and B. G. Ryder, "A safe approximate algorithm for interprocedural pointer aliasing," in Proceedings of the ACM SIGPLAN '92 Conference on Programming Language Design and Implementation, pp. 235-248, June 1992.
10. T. H. Cormen, C. E. Leiserson, and R. L. Rivest, Introduction to algorithms. The MIT Press and McGraw-Hill, 1992.
11. A. Deutsch, "Interprocedural may-alias analysis for pointers: Beyond k-limiting," in Proceedings of the ACM SIGPLAN '94 Conference on Programming Language Design and Implementation, pp. 230-241, June 1994.
12. M. Burke, P. Carini, J. D. Choi, and M. Hind, "Flow-insensitive interprocedural alias analysis in the presence of pointers," in Lecture Notes in Computer Science, 892 (K. Pingali, U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, eds.), pp. 234-250, Springer-Verlag, 1995. Proceedings from the 7th Workshop on Languages and Compilers for Parallel Computing.
13. B. Steensgaard, "Points-to analysis in almost linear time," in Proceedings of the ACM Symposium on Principles of Programming Languages, pp. 32-41, January 1996.
14. L. O. Andersen, Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen, May 1994.
15. B. Steensgaard, "Points-to analysis by type inference in programs with structures and unions," in Lecture Notes in Computer Science, 1060 (T. Gyimothy, ed.), pp. 136-150, Springer-Verlag, 1996. Proceedings from the International Conference on Compiler Construction.
16. R. Ghiya and L. J. Hendren, "Putting pointer analysis to work," in Proceedings of the ACM Symposium on Principles of Programming Languages, pp. 121-133, January 1998.
17. K. D. Cooper and J. Lu, "Register promotion in c programs," in Proceedings of the ACM SIGPLAN 1997 Conference on Programming Language Design and Implementation, pp. 308-319, June 1997.
18. M. Shapiro and S. Horwitz, "Fast and accurate flow-insensitive points-to analysis," in Proceedings of the ACM Symposium on Principles of Programming Languages, pp. 1-14, January 1997.
19. A. Diwan, K. McKinley, and J. E. B. Moss, "Type-based alias analysis," in Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation, pp. 106-117, June 1998.
20. S. Yong, S. Horwitz, and T. Reps, "Pointer analysis for programs with structures and casting," in Proceedings of the ACM SIGPLAN '99 Conference on Programming Language Design and Implementation, pp. 91-103, May 1999.
21. P. P. Chang, S. A. Mahlke, W. Y. Chen, N. J. Warter, and W. W. Hwu, "IMPACT: An architectural framework for multiple-instruction-issue processors," in Proceedings of the 18th International Symposium on Computer Architecture, pp. 266-275, May 1991.
22. C. Lee, M. Potkonjak, and W. Mangione-Smith, "Mediabench: A tool for evaluating and synthesizing multimedia and communications systems," in Proceedings of the 30th Annual International Symposium on Microarchitecture, pp. 330-335, December 1997.
23. R. Bodik, R. Gupta, and M. L. Soffa, "Load-reuse analysis: Design and evaluation," in Proceedings of the ACM SIGPLAN 1999 Conference on Programming Language Design and Implementation, pp. 64-76, May 1999.
24. Hewlett-Packard Company, Cupertino, CA, PA-RISC 1.1 Architecture and Instruction Set Reference Manual, 1990.
25. B. Cheng, "A profile-driven automatic inliner for the impact compiler," Master's thesis, Department of Computer Science, University of Illinois, Urbana, IL, 1997.
26. A. Aho, R. Sethi, and J. Ullman, Compilers: Principles, Techniques, and Tools. Reading, MA: Addison-Wesley, 1986.
27. W. W. Hwu, S. A. Mahlke, W. Y. Chen, P. P. Chang, N. J. Warter, R. A. Bringmann, R. G. Ouellette, R. E. Hank, T. Kiyohara, G. E. Haab, J. G. Holm, and D. M. Lavery, "The Superblock: An effective technique for VLIW and superscalar compilation," The Journal of Supercomputing, vol. 7, pp. 229-248, January 1993.
28. B. Cheng, Compile-Time Memory Disambiguation for C Programs. PhD thesis, Department of Computer Science, University of Illinois, Urbana, IL, 2000.
29. J. D. Choi, M. G. Burke, and P. Carini, "Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects," in Proceedings of the 20th ACM Symposium on Principles of Programming Languages, pp. 232-245, January 1993.
30. R. Rugina and M. Rinard, "Pointer analysis for multi-threaded programs," in Proceedings of the ACM SIGPLAN '99 Conference on Programming Language Design and Implementation, pp. 77-90, May 1999.
31. M. C. Rinard and P. C. Diniz, "Commutativity analysis: A new analysis framework for parallelizing compilers," in Proceedings of the ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation, June 1996.
32. E. Ruf, "Partitioning dataflow analyses using types," in Proceedings of the ACM Symposium on Principles of Programming Languages, January 1997.
33. M. Fähndrich, Z. S. J. S. Foster, and A. Aiken, "Partial online cycle elimination in inclusion constraint graphs," in Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation, pp. 85-96, June 1998.
34. R. Hasti and S. Horwitz, "Using static single assignment form to improve flow-insensitive pointer analysis," in Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation, pp. 97-105, June 1998.
35. S. Zhang, B. G. Ryder, and W. A. Landi, "Experiments with combined analysis for pointer aliasing," in Proceedings of the 1998 Workshop on Program Analysis for Software Tools and Engineering, June 1998.
36. P. A. Stocks, B. G. Ryder, W. Landi, and S. Zhang, "Comparing flow and context sensitivity on the modifications-side-effects problem," in International Symposium on Software Testing and Analysis, pp. 21-31, March 1998.
37. N. D. Jones and S. S. Muhnick, "A flexible approach to interprocedural data flow analysis and programs with recursive data structures," in Conference Record of the 9th ACM Symposium on Principles of Programming Languages, January 1982.
38. J. R. Larus and P. N. Hilfinger, "Detecting conflicts between structure accesses," in Proceedings of the ACM SIGPLAN '88 Conference on Programming Language Design and Implementation, pp. 21-34, July 1988.
39. L. J. Hendren and A. Nicolau, "Parallelizing programs with recursive data structures," IEEE Transactions on Parallel and Distributed System, vol. 1, pp. 35-47, January 1990.
40. D. R. Chase, M. Wegman, and F. K. Zadeck, "Analysis of pointers and structures," in Proceedings of the ACM SIGPLAN '90 Conference on Programming Language Design and Implementation, pp. 296-310, June 1990.
41. L. Hendren, J. Hummel, and A. Nicolau, "Abstractions for recursive pointer data structures: Improving the analysis and transformation of imperative programs," in Proceedings of the ACM SIGPLAN '92 Conference on Programming Language Design and Implementation, pp. 249-260, June 1992.