Assessing the effects of flow-sensitivity on pointer alias analyses

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1503 LNCS, Issue , 1998, Pages 57-81

  Hind, Michael ^a   Pioli, Anthony ^a  

^a STATE UNIVERSITY OF NEW YORK   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ALIAS ANALYSIS; ANALYSIS TIME; EMPIRICAL - COMPARISONS; FLOW SENSITIVE; FLOW SENSITIVITY; IMPLEMENTATION TECHNIQUES; SPEED UP;

STATIC ANALYSIS;

EID: 84879704926     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49727-7_4     Document Type: Conference Paper

References (50)

1. Lars Ole Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen, May 1994. Available at ftp.diku.dk/pub/diku/semantics/papers/D-203.dvi.Z. 70, 70
2. Todd Austin. Pointer-intensive benchmark suite, version 1.1. http://www.cs.wisc.edu/austin/ptr-dist.html, 1995. 62
3. Subra Balan and Walter Bays. Spec announces new benchmark suites cint92 and cfp92. Technical report, Systems Performance Evaluation Cooperative, March 1992. SPEC Newsletter 4(1). 62
4. Michael Burke, Paul Carini, Jong-Deok Choi, and Michael Hind. Flow-insensitive interprocedural alias analysis in the presence of pointers. In K. Pingali, U. Baner-jee, D. Gelernter, A. Nicolau, and D. Padua, editors, Lecture Notes in Computer Science, 892, pages 234-250. Springer-Verlag, 1995. Proceedings from the 7th Workshop on Languages and Compilers for Parallel Computing. Extended version published as Research Report RC 19546, IBM T. J. Watson Research Center, September 1994. 58, 58, 61, 62
5. Michael Burke, Paul Carini, Jong-Deok Choi, and Michael Hind. Interprocedural pointer alias analysis. Research Report RC 21055, IBM T. J. Watson Research Center, December 1997. 58, 58, 58, 59, 59, 60, 60, 61, 61, 62
6. Paul Carini, Michael Hind, and Harini Srinivasan. Flow-sensitive interprocedural type analysis for C++. Research Report RC 20267, IBM T. J. Watson Research Center, November 1995. 59
7. David R. Chase, Mark Wegman, and F. Kenneth Zadeck. Analysis of pointers and structures. In SIGPLAN '90 Conference on Programming Language Design and Implementation, pages 296-310, June 1990. SIGPLAN Notices 25(6). 60, 60, 65
8. Jong-Deok Choi, Michael Burke, and Paul Carini. Efficient flow-sensitive interpro-cedural computation of pointer-induced aliases and side effects. In 20th Annual ACM SIGACT-SIGPLAN Symposium on the Principles of Programming Languages, pages 232-245, January 1993. 58, 60, 60, 78
9. Jong-Deok Choi, Ron Cytron, and Jeanne Ferrante. Automatic construction of sparse data flow evaluation graphs. In 18th Annual ACM Symposium on the Principles of Programming Languages, pages 55-66, January 1991. 59, 72
10. Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, and F. Kenneth Zadeck. Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, pages 451-490, October 1991. 77
11. Alain Deutsch. Interprocedural may-alias analysis for pointers: Beyond k-limiting. In SIGPLAN '94 Conference on Programming Language Design and Implementation, pages 230-241, June 1994. SIGPLAN Notices, 29(6). 60
12. Amer Diwan. Personal communication, August 1997. 69
13. Amer Diwan, Kathryn S. McKinley, and J. Elliot B. Moss. Type-based alias analysis. In SIGPLAN '98 Conference on Programming Language Design and Implementation, pages 106-117, June 1998. SIGPLAN Notices, 33(5). 77
14. Maryam Emami, Rakesh Ghiya, and Laurie J. Hendren. Context-sensitive in-terprocedural points-to analysis in the presence of function pointers. In SIG-PLAN '94 Conference on Programming Language Design and Implementation, pages 242-256, June 1994. SIGPLAN Notices, 29(6). 60, 60, 62, 70, 71
15. Rakesh Ghiya and Laurie J. Hendren. Connection analysis: A practical interpro-cedural heap analysis for C. In Lecture Notes in Computer Science, 1033, pages 515-533, August 1995. Proceedings from the 8th Workshop on Languages and Compilers for Parallel Computing. 60
16. Rakesh Ghiya and Laurie J. Hendren. Is it a tree, a dag or a cyclic graph? A shape analysis for heap-directed pointers in C. In 23rd Annual ACM SIGACT-SIGPLAN Symposium on the Principles of Programming Languages, pages 1-15, January 1996. 60
17. Rakesh Ghiya and Laurie J. Hendren. Putting pointer analysis to work. In 25th Annual ACM SIGACT-SIGPLAN Symposium on the Principles of Programming Languages, pages 121-133, January 1998. 77
18. Rebecca Hasti and Susan Horwitz. Using static single assignment form to improve flow-insensitive pointer analysis. In SIGPLAN '98 Conference on Programming Language Design and Implementation, pages 97-105, June 1998. SIGPLAN Notices, 33(5). 77
19. Laurie J. Hendren and Alexandru Nicolau. Parallelizing programs with recursive data structures. IEEE Transactions on Parallel and Distributed Systems, 1(1):35-47, January 1990. 60
20. Michael Hind and Anthony Pioli. An empirical comparison of interprocedural pointer alias analyses. Research Report RC 21058, IBM T. J. Watson Research Center, December 1997. 78
21. Michael Hind and Anthony Pioli. Assessing the effects of the flow-sensitivity on pointer alias analyses (extended version). Technical Report 98-104, SUNY at New Paltz, June 1998. 61, 65, 65, 67
22. S. Horwitz, P. Pfeiffer, and T. Reps. Dependence analysis for pointer variables. In SIGPLAN '89 Conference on Programming Language Design and Implementation, pages 28-40, June 1989. SIGPLAN Notices 24(6). 60, 60
23. Susan Horwitz. Precise flow-insensitive may-alias analysis is NP-Hard. ACM Transactions on Programming Languages and Systems, 19(1):1-6, January 1997. 77
24. John B. Kam and Jeffrey D. Ullman. Global data flow analysis and iterative algorithms. Journal of the ACM, 23(1):158-171, January 1976. 75
25. William Landi. Undecidability of static analysis. ACM Letters on Programming Languages and Systems, 1(4):323-337, December 1992. 57
26. William Landi. Personal communication, October 1997. 62, 69, 69
27. William Landi and Barbara Ryder. A safe approximate algorithm for interproce-dural pointer aliasing. In SIGPLAN '92 Conference on Programming Language Design and Implementation, pages 235-248, June 1992. SIGPLAN Notices 27(6). 60, 69, 70
28. William Landi, Barbara Ryder, and Sean Zhang. Interprocedural modification side effect analysis with pointer aliasing. In SIGPLAN '93 Conference on Programming Language Design and Implementation, pages 56-67, June 1993. SIGPLAN Notices 28(6). 62, 62, 69
29. James R. Larus and Paul N. Hilfinger. Detecting conflicts between structure accesses. In SIGPLAN '88 Conference on Programming Language Design and Implementation, pages 21-34, 1988. SIGPLAN Notices, 23(7). 60
30. Thomas Marlowe, William Landi, Barbara Ryder, Jong-Deok Choi, Michael Burke, and Paul Carini. Pointer-induced aliasing: A clarification. SIGPLAN Notices, 28(9):67-70, September 1993. 60
31. Thomas J. Marlowe, Barbara G. Ryder, and Michael G. Burke. Defining flow sensitivity in data flow problems. Technical Report RC 20138, IBM T. J. Watson Research Center, July 1995. 58
32. Lee R. Nackman. Codestore and incremental C++. Dr. Dobbs Journal, pages 92-95, December 1997. 61
33. Anthony Pioli. Conditional pointer aliasing and constant propagation. Master's thesis, SUNY at New Paltz, 1998. In preparation. 61
34. G. Ramalingam. The undecidability of aliasing. ACM Transactions on Programming Languages and Systems, 16(6):1467-1471, November 1994. 57
35. G. Ramalingam. On sparse evaluation representations. In Pascal Van Hentenryck, editor, Lecture Notes in Computer Science, 1302, pages 1-15. Springer-Verlag, 1997. Proceedings from the 4th International Static Analysis Symposium. 72
36. Erik Ruf. Context-insensitive alias analysis reconsidered. In SIGPLAN '95 Conference on Programming Language Design and Implementation, pages 13-22, June 1995. SIGPLAN Notices, 30(6). 62, 62, 62, 65, 70, 70, 70, 71, 77
37. Erik Ruf. Partitioning dataflow analyses using types. In 24th Annual ACM SIGACT-SIGPLAN Symposium on the Principles of Programming Languages, pages 15-26, January 1997. 77
38. Erik Ruf. Personal communication, October 1997. 62, 62, 70
39. Mooly Sagiv, Thomas Reps, and Reinhard Wilhelm. Solving shape-analysis problems in languages with destructive updating. In 23rd Annual ACM SIGACT-SIGPLAN Symposium on the Principles of Programming Languages, pages 16-31, January 1996. 60
40. Mooly Sagiv, Thomas Reps, and Reinhard Wilhelm. Solving shape-analysis problems in languages with destructive updating. ACM Transactions on Programming Languages and Systems, 20(1):1-50, January 1998. 60
41. Marc Shapiro and Susan Horwitz. The effects of the precision of pointer analysis. In Pascal Van Hentenryck, editor, Lecture Notes in Computer Science, 1302, pages 16-34. Springer-Verlag, 1997. Proceedings from the 4th International Static Analysis Symposium. 69, 70
42. Marc Shapiro and Susan Horwitz. Fast and accurate flow-insensitive point-to analysis. In 24th Annual ACM SIGACT-SIGPLAN Symposium on the Principles of Programming Languages, pages 1-14, January 1997. 61, 70, 70
43. D. Soroker, M. Karasick, J. Barton, and D. Streeter. Extension mechanisms in Montana. In 8th IEEE Israeli Conference on Software and Systems, pages 119-128, June 1997. 61
44. SPEC. SPEC CPU95, Version 1.0. Standard Performance Evaluation Corporation, http://www.specbench/org, August 1995. 62
45. Bjarne Steensgaard. Points-to analysis in almost linear time. In 23rd Annual ACM SIGACT-SIGPLAN Symposium on the Principles of Programming Languages, pages 32-41, January 1996. 61, 70, 70, 70
46. Philip A. Stocks, Barbara G. Ryder, William A. Landi, and Sean Zhang. Comparing flow and context sensitivity on the modifications-side-effects problem. In International Symposium on Software Testing and Analysis, pages 21-31, March 1998. 69, 70, 70
47. Robert P. Wilson. Efficient Context-Sensitive Pointer Analysis for C Programs. PhD thesis, Stanford University, December 1997. 77
48. Robert P. Wilson and Monica S. Lam. Efficient context-sensitive pointer analysis for C programs. In SIGPLAN '95 Conference on Programming Language Design and Implementation, pages 1-12, June 1995. SIGPLAN Notices, 30(6). 60, 77
49. Sean Zhang, Barbara G. Ryder, and William Landi. Program decomposition for pointer aliasing: A step toward practical analyses. In 4th Symposium on the Foundations of Software Engineering, pages 81-92, October 1996. 70, 70
50. Sean Zhang, Barbara G. Ryder, and William Landi. Experiments with combined analysis for pointer aliasing. In ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, pages 11-18, June 1998. 70, 77