Pointer analysis for programs with structures and casting

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 34, Issue 5, 1999, Pages 91-103

  Yong, Suan Hsi ^a   Horwitz, Susan ^a   Reps, Thomas ^a  

^a University of Wisconsin Madison   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 17244376233     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/301631.301647     Document Type: Article

References (17)

1. T. Austin, S. Breach, and G. Sohi. Efficient detection of all pointer and array access errors. In ACM SIGPLAN '94 Conference on Programming Language Design and Implementation, pages 290-301, June 1994.
2. L. O. Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen, May 1994. (DIKU report 94/19).
3. M. Burke, P. Carini, J.-D. Choi, and M. Hind. Flow-insensitive interprocedural alias analysis in the presence of pointers. In K. Pingali, U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, editors, Language and Compilers for Parallel Computing, 7th International Workshop, LNCS 892, pages 234-250. Springer-Verlag, August 1994.
4. J. Choi, M. Burke, and P. Carini. Efficient flow-sensitive interporcedural computation of pointer-induced aliases and side effects. In ACM Symposium on Principles of Programming Languages, pages 232-245, January 1993.
5. M. Emami, R. Ghiya, and L. Hendren. Context-sensitive interprocedural points-to analysis in the presence of function pointers. In ACM SIGPLAN '94 Conference on Programming Language Design and Implementation, pages 242-256, June 1994.
6. ISO/IEC. International Standard ISO/IEC 9899, Programming Languages - C. 1st Ed. 1990.
7. W. Landi, B. Ryder, and S. Zhang. Interprocedural modification side effect analysis with pointer aliasing. In ACM SIGPLAN '93 Conference on Programming Language Design and Implementation, pages 56-67, June 1993.
8. E. Ruf. Context-insensitive alias analysis reconsidered. In ACM SIGPLAN '95 Conference on Programming Language Design and Implementation, pages 13-22, June 1995.
9. B. Ryder, personal communication, September 1998.
10. M. Shapiro and S. Horwitz. The effects of the precision of pointer analysis. In 4th International Symposium on Static Analysis, LNCS 1302. Springer-Verlag, September 1997.
11. M. Shapiro and S. Horwitz. Fast and accurate flow-insensitive points-to analysis. In ACM Symposium on Principles of Programming Languages, January 1997.
12. P. Stocks, B. Ryder, W. Landi, and S. Zhang. Comparing flow and context sensitivity on the modification-side-effects problem. In International Symposium on Software Testing and Analysis, pages 21-31, March 1998.
13. B. Steensgaard. Points-to analysis by type inference of programs with structures and unions. In International Conference on Compiler Construction, April 1996.
14. B. Steensgaard. Points-to analysis in almost linear time. In ACM Symposium on Principles of Programming Languages, pages 32-41, January 1996.
15. P. Tonella. Points-to analysis for program understanding. In Proceedings of the International Workshop on Program Comprehension, May 1997.
16. R. Wilson, R. French, C. Wilson, S. Amarasinghe, J. Anderson, S. Tjiang, S. Liao, C. Tseng, M. Hall, M. Lam, and J. Hennessy. SUIF: An infrastructure for research on parallelizing and optimizing compilers. In ACM SIGPLAN Notices, volume 29(12), pages 31-37, December 1994.
17. R. Wilson and M. Lam. Efficient context-sensitive pointer analysis for C programs. In ACM SIGPLAN '95 Conference on Programming Language Design and Implementation, pages 1-12, June 1995.