JAAT: Java alias analysis tool for program maintenance activities

Proceedings - Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2006

Volumn , Issue , 2006, Pages 232-242

  Ohata, Fumiaki ^a   Inoue, Katsuro ^b  

^a TOSHIBA CORPORATION   (Japan)

^b OSAKA UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DATA STORAGE EQUIPMENT; OPTIMIZATION; PROGRAM DEBUGGING; REAL TIME SYSTEMS; SOFTWARE ENGINEERING; XML;

INSTANCE-BASED ALGORITHM; INTRA-CLASS ANALYSIS; PROGRAM MAINTENANCE ACTIVITIES; PROGRAM OPTIMIZATION;

JAVA PROGRAMMING LANGUAGE;

EID: 33751059718     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISORC.2006.     Document Type: Conference Paper

References (26)

1. G. Agrawal and L. Guo, Evaluating explicitly context-sensitive program slicing, Program Analysis For Software Tools and Engineering, pp.6-12, Snowbird, UT, 2001.
2. B. Blanchet, Escape Analysis for Object-Oriented Languages: Application to Java, Object-Oriented Programming Systems, Languages & Applications, pp.20-34, Denver, CO, 1999,
3. M. Burke, P. Carini, J. D. Choi and M. Hind, Flow-Insensitive Interprocedural Alias Analysis in the Presence of Pointers, 7th Languages and Compilers for Parallel Computing, 1994, Ithaca, NY.
4. D. R. Chase, M. N. Wegman and F. K. Zadeck, Analysis of Pointers and Structures, PLDI, pp.296-310, White Plains, NY, 1990.
5. R. K. Chatterjee, B. G. Ryder and W. Landi, Relevant Context Inference, POPL, pp. 133-146, San Antonio, TX, 1999.
6. J. D. Choi, M. Gupta, M. J. Serrano, V. C. Sreedhar and S. P. Midkiff, Escape Analysis for Java, OOPSLA, pp.1-19, Denver, CO, 1999.
7. M. Enami, R. Ghiya and L. J. Hendren, Context-sensitive interprocedural points-to analysis in the presence of function pointers, PLDI, pp.242-256, Orlando, FL, 1994.
8. M. J. Harrold and G. Rothermel, Separate Computation of Alias Information for Reuse, IEEE TSE,22-7, pp.442-460, 1996.
9. N. Heintze and O. Tardieu, Demand-Driven Pointer Analysis, PLDI, pp.24-34, Snowbird, UT, 2001.
10. M. Hind, Pointer Analysis: Haven't We Solved This Problem Yet?, Program Analysis for Software Tools and Engineering, pp.54-61, Snowbird, UT, 2001,
11. W. Landi and B. G. Ryder, A Safe Approximate Algorithm for Interprocedural Pointer Aliasing, PLDI, pp.235-248, San Francisco, CA, 1992.
12. W. Landi, B. G. Ryder and S. Zhang, Interprocedural Modification Side Effect Analysis With Pointer Aliasing, PLDI, pp.56-67, Albuquerque, NM, 1993.
13. D. Liang and M. J. Harrold, Slicing Objects Using System Dependence Graphs, Proceedings of the International Conference on Software Maintenance, pp.358-367, Washington, D.C., USA, 1998.
14. D. Liang and M. J. Harrold, Efficient Points-to Analysis for Whole-Program Analysis, 7th ESEC/FSE, pp. 199-215, Toulouse, France, 1999.
15. F. Ohata and K. Inoue, JAAT: A Practical Alias Analysis Tool for Java Programs, Technical Report of Osaka University, Department of Information and Computer Sciences, SE-lab-362, Dec, 2001.
16. A. Rountev, A. Milanova and B. G. Ryder, Points-To Analysis for Java using Annotated Constraints, OOPSLA, pp.43-55,Tampa, FL, 2001.
17. R. Rugina and M. C. Rinard, Pointer Analysis for Multi-threaded Programs, PLDI, pp.77-90, 1999, Atlanta, GA.
18. B. G. Ryder, W. Landi, P. Stocks, S. Zhang and R. Altucher, A schema for Interprocedural modification side-effect analysis with pointer aliasing, ACM TOPLAS, 23-2, pp. 105-186, 2001.
19. M. Shapiro and S. Horwitz, Fast and accurate flow-insensitive point-to analysis, POPL, pp. 1-14, Paris, France, 1997.
20. S. Sinha and M. J. Harrold, Analysis of Programs With Exception-Handling Constructs, ICSM, pp.358-367, Washington, D.C., 1998.
21. B. Steensgaard, Points-to analysis in almost linear time, POPL, pp.32-41, St. Petersburg Beach, FL, 1996.
22. P. Tonella, G. Antoniol, R. Fiutem and E. Merlo, Flow insensitive C++ pointers and polymorphism analysis and its application to slicing, 19th ICSE, pp.433-443, Boston, MA, 1997.
23. R. P. Wilson and M. S. Lam, Efficient context-sensitive pointer analysis for C programs, PLDI, pp. 1-12, 1995, La Jolla, CA.
24. S. H. Yong, S. Horwitz and T. W. Reps, Pointer Analysis for Programs with Structures and Casting, PLDI, pp.91-103, Atlanta, GA, 1999.
25. S. Zhang, B. G. Ryder and W. A. Landi, Experiments with Combined Analysis for Pointer Aliasing, Program Analysis for Software Tools and Engineering, pp.11-18, Montreal, Canada, 1998.
26. S. Zhang, B. G. Ryder and W. A. Landi, Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses, 4th FSE, pp.81-92, San Francisco, CA, 1996.