Importance of heap specialization in pointer analysis

ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

Volumn , Issue , 2004, Pages 43-48

  Nystrom, Erik M ^a   Kim, Hong Seok ^a   Hwu, Wen Mei W ^a  

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

Author keywords

Context sensitivity; Heap specialization; Pointer analysis

Indexed keywords

GRAPH THEORY; INFORMATION ANALYSIS; ITERATIVE METHODS; RESOURCE ALLOCATION; SEMANTICS; SOFTWARE ENGINEERING;

CONTEXT SENSITIVITY; HEAP SPECIALIZATION; POINTER ANALYSIS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 4544366942     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/996821.996836     Document Type: Conference Paper

References (13)

1. Lars O. Andersen. Program Analysis and Specialization for the C Programming Language. Ph.D thesis, DIKU, Unversity of Copenhagen, 1994.
2. Ramkrishna Chatterjee, Barbara G. Ryder, and William A. Landi. Relevant context inference. In Proceedings of the ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages, 1999.
3. Ben-Chung Cheng and Wen-mei W. Hwu. Modular interprocedural pointer analysis using access paths: design, implementation, and evaluation. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2000.
4. Jong-Deok Choi, Manish Gupta, Mauricio J. Serrano, Vugranam C. Sreedhar, and Samuel P. Midkiff. Stack allocation and synchronization optimizations for java using escape analysis. ACM Transactions on Programming Languages and Systems, 2003.
5. Manuvir Das. Unification-based pointer analysis with directional assignments. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2000.
6. Jeffrey S. Foster, Manuel Fähndrich, and Alexander Aiken. Polymorphic versus monomorphic flow-insensitive points-to analysis for C. In Proceedings of the Static Analysis Symposium, 2000.
7. Michael Hind. Pointer analysis: Haven't we solved this problem yet? In Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2001.
8. Michael Hind, Michael Burke, Paul Carini, and Jong-Deok Choi. Interprocedural pointer alias analysis. ACM Transactions on Programming Languages and Systems, 21(4):848-894, 1999.
9. Chris Lattner and Vikram Adve. Data Structure Analysis: A Fast and Scalable Context-Sensitive Heap Analysis. Technical Report, CS Dept., University of Illinois. 2003.
10. Donglin Liang and Mary Jean Harrold. Efficient computation of parameterized pointer information for interprocedural analyses. In SAS, 2001.
11. David J. Pearce, Paul H. J. Kelly, and Chris Hankin. Efficient field-sensitive pointer analysis for C. In ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2004.
12. Erik Ruf. Effective synchronization removal for java. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2000.
13. Bjarne Steensgaard. Points-to analysis in almost linear time. In Proceedings of the ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages, 1996.