An uncaught exception analysis for Java

Journal of Systems and Software

Volumn 72, Issue 1, 2004, Pages 59-69

  Jo, Jang Wu ^a   Chang, Byeong Mo ^b   Yi, Kwangkeun ^c   Choe, Kwang Moo ^c  

^a Pusan University of Foreign Studies   (South Korea)

^b Sookmyung Women's University   (South Korea)

^c Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

Author keywords

Class analysis; Java; Set based analysis; Static analysis; Uncaught exception analysis

Indexed keywords

COMPUTER SOFTWARE; COST EFFECTIVENESS; FUNCTIONS; PROGRAM COMPILERS;

CLASS ANALYSIS; SET-BASED ANALYSIS; STATIC ANALYSIS; UNCAUGHT EXCEPTION ANALYSIS;

JAVA PROGRAMMING LANGUAGE;

EID: 1842477862     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(03)00057-8     Document Type: Article

References (22)

1. Chang, B.-M., Yi, K., Jo, J., 2000. Constraint-based analysis for Java. In: SSGRR 2000 Computer and e-Business Conference, August 2000, L'Aquila, Italy.
2. Chatterjee, R.K., Ryder, B.G., 1999. Data-flow-based testing of object-oriented libraries. Technical Report DCS-TR-382, Rutgers University.
3. Chatterjee, R.K., Ryder, B.G., Landi, W.A., 1998. Complexity of concrete type-inference in the presence of exceptions. In: Lecture notes in Computer Science 1381, pp. 57-74.
4. Choi, J.-D., Grove, D., Hind, M., Sarkar, V., 1999. Efficient and precise modeling of exceptions for analysis of Java programs. In: Proceedings of PASTE '99 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, September 1999, pp. 21-31.
5. Cousot P., Cousot R. Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and game-theoretic form. Proceedings of the 7th International Conference on Computer-Aided Verification Edition. Lecture Notes in Computer Science. vol. 939:1995;293-308 Springer-Verlag, Berlin.
6. DeFouw, G., Grove, D., Chambers, C., 1998. Fast interprocedural class analysis. In: Proceedings of 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 1998. pp. 222-236.
7. Drossopoulou, S., Eisenbach, S., 1997. Java is type safe-probably. In: Proceedings of 97 ECOOP.
8. Drossopoulou, S., Valkevych, T., 1999. Java type soundness revisited. Techical Report, Imperial College. Available from .
9. Fähndrich, M., Foster, J.S., Aiken, A., Cu, J., 1998. Tracking down exceptions in standard ML programs. Techical report, University of California at Berkeley, Computer Science Division.
10. Gosling J., Joy B., Steele G. The Java Programming Language Specification. 1996;Addison-Wesley Longman.
11. Goodenough J. Exception handling: Issues and proposed notation. Communications of the ACM. 18(12):1975.
12. Heintze, N., 1992. Set-based program analysis. Ph.D. thesis, Carnegie Mellon University, October 1992.
13. Nipkow, T., Oheimb, D.V., 1998. Java is type safe-definitely. In: Proceedings of 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages.
14. Palsberg, J., Schwarzbach, M.I., 1991. Object-oriented type inference. In: Proceedings of ACM Conference on OOPSLA. pp. 141-161.
15. Pessaux, F., Leroy, X., 1999. Type-based analysis of uncaught exceptions. In: Proceedings of 26th ACM Conference on Principles of Programming Languages.
16. Robillard M.P., Murphy G.C. Analyzing exception flow in Java programs. Proceedings of the ESEC/FSE '99 Seventh European Software Engineering Conference and Seventh ACM SIGSOFT Symposium on Notes in Computer Science. 1999;322-337 Springer-Verlag, Berlin.
17. Ryder, B.G., Smith, D., Kremer, U., Gordon, M., Shah, N., 1999. A static study of Java exceptions using JESP. Technical Report DCS-TR-403, Rutgers University.
18. Sinha S., Harrold M. Analysis and testing of programs with exception-handling constructs. IEEE Trans. SE. 2000;26-29.
19. Yi K. Compile-time detection of uncaught exceptions in standard ML programs. Proceedings of the 1st Static Analysis Symposium, September 1994. Lecture Notes in Computer Science. vol. 864:1994;238-254 Springer-Verlag, Berlin.
20. Yi K., Ryu S. Towards a cost-effective estimation of uncaught exceptions in SML programs. Proceedings of the 4th Static Analysis Symposium, September 1997. Lecture Notes in Computer Science. vol. 1302:1997;98-113 Springer-Verlag, Berlin.
21. Yi, K., Ryu, S., 1998. SML/NJ Exception Analysis version 0.98. Available from < http://compiler.kaist.ac.kr/pub/exna/>, December 1998.
22. Yi K., Ryu S. A cost-effective estimation of uncaught exceptions in standard ML programs. Theoret. Comput. Sci. 2002;277-281.