Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs

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

Volumn , Issue , 2005, Pages 6-12

  Liang, Donglin ^a   Pennings, Maikel ^b   Harrold, Mary Jean ^b  

^a UNIVERSITY OF MINNESOTA   (United States)

^b GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTEXT SENSITIVITY; JAVA PROGRAM; POINTS-TO ANALYSIS; PROGRAM ANALYSIS; PROGRAM OPTIMIZATION;

ALGORITHMS; C (PROGRAMMING LANGUAGE); JAVA PROGRAMMING LANGUAGE;

COMPUTER SOFTWARE;

EID: 84885206777     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1108792.1108797     Document Type: Conference Paper

References (14)

1. L. Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, University of Copenhagen, May 1994.
2. S. Guyer and C. Lin. Client-driven pointer analysis. In Static Analysis Symposium, 2003.
3. M. Hind. Pointer analysis: Haven't we solved this problem yet? In ACM Workshop on Program Analysis for Software Tools and Engineering, pages 54-61, 2001.
4. D. Liang and M. J. Harrold. Light-weight context recovery for efficient and accurate program analyses. In 22nd International Conference on Software Engineering, pages 366-375, June 2000.
5. D. Liang, M. Pennings, and M. J. Harrold. Extending and evaluating flow-insensitive and context-insensitive points-to analyses for java. In 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, June 2001.
6. D. Liang, M. Pennings, and M. J. Harrold. Evaluating the precision of static reference analysis using profiling. In Proceedings of International Symposium on Software Testing and Analysis (ISSTA'02), July 2002.
7. A. Milanova, A. Rountev, and B. G. Ryder. Parameterized object sensitivity for points-to and side-effect analyses for java. In Proceedings of International Symposium on Software Testing and Analysis (ISSTA'02), July 2002.
8. A. Rountev and S. Chandra. Off-line variable substitution for scaling points-to analysis. In Proceedings of 2000 Conference on Programming Language Design and Implementation, June 2000.
9. A. Rountev, A. Milanova, and B. G. Ryder. Points-to analysis for java based on annotated constraints. In Conference on Object-oriented programming, systems, languages, and applications, Oct. 2001.
10. E. Ruf. Context-insensitive alias analysis reconsidered. In Proceedings of SIGPLAN '95 Conference on Programming Language Design and Implementation, pages 13-23, June 1995.
11. M. Sharir and A. Pnueli. Two approaches to interprocedural data-flow analysis. In S. S. Muchnick and N. D. Jones, editors, Program Flow Analysis: Theory and Application, pages 189-223. 1981.
12. M. Streckenbach and G. Snelting. Points-to for java: A general framework and an empirical comparison. Technical report, University Passau, Nov. 2000.
13. Z. Su, M. Fhndrich, and A. Aiken. Projection merging: Reducing redundancies in inclusion constraint graphs. In In the 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'00), January 2000.
14. J. Whaley and M. Lam. Cloning-based context-sensitive pointer alias analysis using bdds. In PLDI'04, 2004.