Annotated inclusion constraints for precise flow analysis

IEEE International Conference on Software Maintenance, ICSM

Volumn 2005, Issue , 2005, Pages 187-196

  Milanova, Ana ^a   Ryder, Barbara G ^b  

^a RENSSELAER POLYTECHNIC INSTITUTE   (United States)

^b RUTGERS UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INCLUSION-BASED FLOW ANALYSES; PRECISE FLOW ANALYSIS;

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER APPLICATIONS; COMPUTER SOFTWARE; PROGRAM ASSEMBLERS; REVERSE ENGINEERING;

CONSTRAINT THEORY;

EID: 33646930669     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSM.2005.24     Document Type: Conference Paper

References (24)

1. A. Aiken, M. Fähndrich, J. Foster, and Z. Su. A toolkit for constructing type- and constraint-based program analyses. In Workshop on Types in Compilation, pages 78-96, 1998.
2. A. Aiken and E. Wimmers. Solving systems of set constraints. In LICS, pages 329-340, 1992.
3. A. Aiken and E. Wimmers, Type inclusion constraints and type inference. In FPCA, pages 31-41, 1993.
4. M. Berndl, O. Lhotak, F. Qian, L. Hendren, and N. Umanee. Points-to analysis using BDD's. In PLDI, pages 103-114, 2003.
5. J. Dean, D. Grove, and C. Chambers. Optimizations of object-oriented programs using static class hierarchy analysis. In ECOOP, pages 77-101, 1995.
6. M. Fähndrich, J. Foster, Z. Su, and A. Aiken. Partial online cycle elimination in inclusion constraint graphs. In PLDI, pages 85-96, 1998.
7. M. Fähndrich, J. Rehof, and M. Das. Scalable context-sensitive flow analysis using instantiation constraints. In PLDI, pages 253-263, 2000.
8. J. Foster, M. Fähndrich, and A. Aiken. Polymorphic versus monomorphic flow-insensitive points-to analysis for C. In SAS, LNCS 1824, pages 175-198, 2000.
9. D. Grove, G. DeFouw, J. Dean, and C. Chambers. Call graph construction in object-oriented languages. In OOP-SLA, pages 108-124, 1997.
10. N. Heintze and O. Tardieu. Ultra-fast aliasing analysis using CLA: A million lines of C code in a second. In PLDI, pages 254-264, 2001.
11. O. Lhotak and L. Hendren. Scaling Java points-to analysis using Spark. In CC, pages 153-169, 2003.
12. D. Liang, M. Pennings, and M. J. Harrold. Extending and evaluating flow-insensitive and context-insensitive points-to analyses for Java. In PASTE, pages 73-79, 2001.
13. A. Milanova. Precise and Practical Flow Analysis of Object-Oriented Software. PhD thesis, Rutgers University, Aug. 2003.
14. A. Milanova, A. Rountev, and B. G. Ryder. Parameterized object sensitivity for points-to analysis for Java. ACM TOSEM, 14(1): 1-42, 2005.
15. R. O'Callahan. The Generalized Aliasing as a Basis for Software Tools. PhD thesis, Carnegie Mellon University, 2000.
16. J. Rehof and M. Fähndrich. Type-based flow analysis: From polymorphic subtyping to CFL-reachability. In POPL, pages 54-66, 2001.
17. D. Reimer, E. Schonberg, K. Srinivas, H. Srinivasan, B. Alpern, R. D. Johnson, A. Kershenbaum, and L. Koved. SABER: smart analysis based error reduction. In ISSTA, pages 243-251, 2004.
18. A. Rountev and S. Chandra. Off-line variable substitution for scaling points-to analysis. In PLDI, pages 47-56, 2000.
19. A. Rountev, A. Milanova, and B. G. Ryder. Points-to analysis for Java using annotated constraints. In OOPSLA, pages 43-55, 2001.
20. E. Ruf. Effective synchronization removal for Java. In PLDI, pages 208-218, 2000.
21. M. Sharir and A. Pnueli. Two approaches to interprocedural data flow analysis. In S. Muchnick and N. Jones, editors, Program Flow Analysis: Theory and Applications, pages 189-234. Prentice Hall, 1981.
22. M. Streckenbach and G. Snelting. Points-to for Java: A general framework and an emprirical comparison. Technical report, U. Passau, Sept. 2000.
23. Z. Su, M. Fähndrich, and A. Aiken. Projection merging: Reducing redundancies in inclusion constraint graphs. In POPL, pages 81-95, 2000.
24. J. Whaley and M. Lam. Cloning-based context-sensitive pointer alias analysis using binary decision diagrams. In PLDI, pages 131-144, 2004.