Visualization of exception propagation for Java using static analysis

SCAM 2002 - Proceedings, 2nd IEEE International Workshop on Source Code Analysis and Manipulation

Volumn , Issue , 2002, Pages 173-182

  Chang, Byeong Mo ^a   Jo, Jang Wu ^b   Her, Soon Hee ^a  

^a Sookmyung Women's University   (South Korea)

^b Pusan University of Foreign Studies   (South Korea)

Author keywords

exception analysis; exception propagation; Java; set based analysis

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SOFTWARE; GRAPH THEORY; JAVA PROGRAMMING LANGUAGE; VISUALIZATION;

EXCEPTION ANALYSIS; EXCEPTION HANDLERS; EXCEPTION PROPAGATION; JAVA; PROPAGATION INFORMATION; SET-BASED ANALYSIS; UNCAUGHT EXCEPTIONS; VISUALIZATION TOOLS;

STATIC ANALYSIS;

EID: 84962159067     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCAM.2002.1134117     Document Type: Conference Paper

References (27)

1. B.-M. Chang, J. Jo, K. Yi, and K. Choe, Interprocedural Exception Analysis for Java, Proceedings of ACM Symposium on Applied Computing, pp 620-625, Mar. 2001.
2. R. K. Chatterjee, B. G. Ryder, and W. A. Landi, Complexity of concrete type-inference in the presence of exceptions, Lecture notes in Computer Science, vol. 1381, pp. 57-74, Apr. 1998.
3. J.-D. Choi, D. Grove, M. Hind, and V. Sarkar, Efficient and precise modeling of exceptions for analysis of Java pro grams, Proceedings of '99 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, September 1999, pp. 21-31.
4. P. Cousot and R. Cousot. Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and game-theoretic form. Lecture Notes in Computer Science, volume 939, pages 293-308. Springer-Verlag, Proceedings of the 7th international conference on computer-aided verific ation edition, 1995.
5. G. DeFouw, D. Grove, and C. Chambers, Fast interprocedural class analysis, Proceedings of 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programm ing Languages pp 222-236, Januaray 1998.
6. S. Drossopoulou, and S. Eisenbach, Java is type safe-probably, Proceedings of 97 European Conference on Object-Oriented Programming, 1997
7. S. Drossopoulou, and T. Valkevych, Java type soundness revisited. Techical Report, Imperial College, November 1999. Also available from: http://www-doc.ic.ac.uk/scd.
8. M. Fähndrich, J.S. Foster, A. Aiken,a nd J. Cu. Tracking down exceptions in Standard ML programs. Techical report, University of California at Berkeley, Computer Science Division, 1998.
9. E. Gamma, R. Helm, R. Johnson and J. Vlissides, Design Patterns:Elements of Reusable Object-Oriented Software, Addison-Wesley, 1995.
10. J. Gosling, B. Joy, and G. Steele, The Java Programming Language Specification, Addison-Wesley, 1996.
11. M. Harrold and N. Ci, Reuse Driven Interprocedural Slicing, Proceedings of the International Conference on Software Engineering, April 1998.
12. N. Heintze, Set-based program analysis. Ph.D thesis, Carnegi e Mellon University, October 1992.
13. S. Horwitz, T. Reps, and D. Binkley, Interprocedural slicing using dependence graphs, ACM Transactions on Programming Languages and Systems, 11(3), pp 345-387, July 1989.
14. Jipe, http://jipe.sourceforge.net.
15. T. Nipkow and D. V. Oheimb, Java is type safe-definitely, Proceedings of 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programm ing Languages, January 1998.
16. J. Palsberg and M. I. Schwarzbach, Object-oriented type inference, Proceedings of '91 ACM Conference on OOPSLA, pp. 141-161, 1991.
17. F. Pessaux and X. Leroy, Type-based analysis of uncaught exceptions. Proceedings of 26th ACM Conference on Principles of Programming Languages, January 1999.
18. M. P. Robillard and G. C. Murphy, Analyzing exception flow in Java programs, in Proc. of '99 European Software Engineering Conference and ACM SIGSOFTSymposium on Foundations of Software Engineering, pp. 322-337, Springer-Verlag.
19. B. G. Ryder, D. Smith, U. Kremer, M. Gordon, and N. Shah, "A static study of Java exceptions using JESP," Tech. Rep. DCS-TR-403, Rutgers University, Nov. 1999.
20. S. Sinha and M. Harrold, Analysis and testing of programs with exception-handling constructs, IEEE Transations on Software Engineering 26(9) (2000).
21. S. Sinha, M. Harrold, and G. Rothermel, System-Dependence-Graph-Based Slicing of Programs with Arbitrary Inte rprocedural Control Flow, Proceedings of the International Conference on Software Engineering, May 1999, pp. 432-441.
22. M. Weiser, Program Slicing, IEEE Transations on Software Engineering, 10(4), pp 352-357, July 1984.
23. K. Yi. Compile-time detection of uncaught exceptions in standard ML programs. Lecture Notes in Computer Science, volume 864, pp 238-254. Springer-Verlag, Proceedings of the 1st Static Analysis Symposium, September 1994.
24. K. Yi and B.-M. Chang Exception analysis for Java, ECOOP Workshop on Formal Techniques for Java Programs, June 1999, Lisbon, Portugal.
25. K. Yi and S. Ryu. Towards a cost-effective estimation of uncaught exceptions in SML programs. Lecture Notes in Computer Science, volume 1302, pages 98-113. Springer-Verlag, Proceedings of the 4th Static Analysis Symposium, September 1997.
26. http://www.sharemation.com/bokowski/barat/index.html.
27. http://jipe.sourceforge.net.