An aggressively field-sensitive unification-based pointer analysis

Jisuanji Xuebao/Chinese Journal of Computers

Volumn 32, Issue 9, 2009, Pages 1722-1735

  Yu, Hong Tao ^a   Zhang, Zhao Qing ^a  

^a INSTITUTE OF COMPUTING TECHNOLOGY   (China)

Author keywords

Alias analysis; Field sensitive; Pointer analysis; Steensgaard style; Unification based

Indexed keywords

ALIAS ANALYSIS; FIELD-SENSITIVE; POINTER ANALYSIS; STEENSGAARD-STYLE; UNIFICATION-BASED;

C (PROGRAMMING LANGUAGE); PROGRAM COMPILERS; SOFTWARE ENGINEERING;

STRUCTURAL ANALYSIS;

EID: 70350605596     PISSN: 02544164     EISSN: None     Source Type: Journal    
DOI: 10.3724/SP.J.1016.2009.01722     Document Type: Article

References (12)

1. Ghiya R, Lavery D, Sehr D. On the importance of points-to analysis and other memory disambiguation methods for C programs//Proceedings of the ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation. Snowbird, Utah, United States, 2001: 47-58
2. Andersen L O. Program analysis and specialization for the C programming language[Ph.D. dissertation]. University of Copenhagen, DIKU, 1994
3. Steensgaard B. Points-to analysis in almost linear time//Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. St. Petersburg Beach, Florida, United States, 1996: 32-41
4. Hardekopf B, Lin C. The ant and the grasshopper: Fast and accurate pointer analysis for millions of lines of code//Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation. San Diego, California, USA, 2007: 290-299
5. Pearce D J, Kelly P H J, Hankin C. Efficient field-sensitive pointer analysis of C. ACM Transactions on Programming Languages and Systems (TOPLAS), 2007, 30(1): 4
6. Pereira F M Q, Berlin D. Wave propagation and deep propagation for pointer analysis//Proceedings of the 7th Annual IEEE/ACM International Symposium on Code Generation and Optimization. Seattle, WA, USA, 2009: 126-135
7. Steensgaard B. Points-to analysis by type inference of programs with structures and unions //Proceedings of the 6th International Conference on Compiler Construction. London. UK: Springer-Verlag, 1996: 136-150
8. Das M. Unification-based pointer analysis with directional assignments//Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation. Vancouver, British Columbia, Canada, 2000: 35-46
9. Fahndrich M, Rehof J, Das M. Scalable context-sensitive flow analysis using instantiation constraints//Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation. Vancouver, British Columbia, Canada, 2000: 253-263
10. Yong S H, Horwitz S, Reps T. Pointer analysis for programs with structures and casting//Proceedings of the ACM SIGPLAN 1999 Conference on Programming Language Design and Implementation. Atlanta, Georgia, United States, 1999: 91-103
11. Chase D R, Wegman M, Zadeck F K. Analysis of pointers and structures//Proceedings of the ACM SIGPLAN 1990 Conference on Programming Language Design and Implementation. White Plains, New York, United States, 1990: 296-310
12. Das M, Liblit B, Fahndrich M, et al. Estimating the impact of scalable pointer analysis on optimization //Proceedings of the 8th International Symposium on Static Analysis, 2001. London. UK: Springer-Verlag, 2001: 260-278