Changing java's semantics for handling null pointer exceptions

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn , Issue , 2008, Pages 47-56

  Dobolyi, Kinga ^a   Weimer, Westley ^a  

^a UNIVERSITY OF VIRGINIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AVERAGE EXECUTION TIME; BYTECODE; CONTEXT-SENSITIVE; ERROR-HANDLING; LANGUAGE SEMANTICS; RECOVERY POLICY; RUNTIME OVERHEADS; SPACE OVERHEAD; STANDARD LIBRARIES;

COMPUTER SOFTWARE SELECTION AND EVALUATION; DATA STRUCTURES; MATHEMATICAL TRANSFORMATIONS; SEMANTICS;

SOFTWARE RELIABILITY;

EID: 67249104242     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSRE.2008.59     Document Type: Conference Paper

References (33)

1. T. Anderson and R. Kerr. Recovery blocks in action: A system supporting high reliability. In International Conference on Software Engineering, pages 447-457, 1976.
2. M. Atkinson and R. Morrison. Orthogonally persistent object systems. The VLDB Journal, 4(3):319-402, 1995.
3. T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. In SPIN Workshop on Model Checking of Software, volume 2057 of Lecture Notes in Computer Science, pages 103-122, May 2001. (Pubitemid 33276265)
4. S. M. Blackburn, R. Garner, C. Hoffman, A. M. Khan, K. S. McKinley, R. Bentzur, A. Diwan, D. Feinberg, D. Frampton, S. Z. Guyer, M. Hirzel, A. Hosking, M. Jump, H. Lee,J. E. B. Moss, A. Phansalkar, D. Stefanovíc, T. VanDrunen, D. von Dincklage, and B.Wiedermann. The DaCapo benchmarks: Java benchmarking development and analysis. In Object-Oriented Programing, Systems, Languages, and Applications, Oct. 2006.
5. A. Borg,W. Blau,W. Graetsch, F. Herrmann, andW. Oberle. Fault tolerance under UNIX. ACM Transactions on Computer Systems, 7(1), Feb. 1989.
6. H. Chen, D. Dean, and D. Wagner. Model checking one million lines of C code. In Network and Distributed System Security Symposium (NDSS), San Diego, CA, Feb. 2004.
7. M. Cielecki, J. Fulara, K. Jakubczyk, and L. Jancewicz. Propagation of JML non-null annotations in java programs. In Principles and practice of programming in Java, pages 135-140, 2006. (Pubitemid 47142500)
8. M. Das, S. Lerner, and M. Seigle. ESP: path-sensitive program verification in polynomial time. SIGPLAN Notices, 37(5):57-68, 2002. (Pubitemid 34991507)
9. D. Engler, B. Chelf, A. Chou, and S. Hallem. Checking system rules using system-specific, programmer-written compiler extensions. In Operating Systems Design and Implementation, 2000.
10. M. D. Ernst, A. Czeisler, W. G. Griswold, and D. Notkin. Quickly detecting relevant program invariants. In International Conference on Software Engineering, pages 449-458, 2000. (Pubitemid 30910302)
11. S. Fink, E. Yahav, N. Dor, G. Ramalingam, and E. Geay. Effective typestate verification in the presence of aliasing. In International Symposium on Software Testing and Analysis, pages 133-144, 2006. (Pubitemid 46645525)
12. C. Fu, A. Milanova, B. G. Ryder, and D. Wonnacott. Robustness testing of java server applications. IEEE Trans. Software Eng., 31(4):292-311, 2005. (Pubitemid 41046921)
13. F. Giunchiglia and P. Traverso. Program tactics and logic tactics. Ann. Math. Artif. Intell., 17(3-4):235-259, 1996. (Pubitemid 126716927)
14. J. Hickey and A. Nogin. Extensible hierarchical tactic construction in a logical framework. In Theorem Proving in Higher Order Logics, pages 136-151, 2004.
15. D. Hovemeyer, J. Spacco, and W. Pugh. Evaluating and tuning a static analysis to find null pointer bugs. SIGSOFT Softw. Eng. Notes, 31(1):13-19, 2006.
16. G. Kiczales and M. Mezini. Aspect-oriented programming and modular reasoning. In International Conference on Software Engineering, pages 49-58, 2005.
17. S. Kojarski and D. H. Lorenz. Awesome: an aspect coweaving system for composing multiple aspect-oriented extensions. In Object-Oriented Programming, Systems, Languages, and Applications, pages 515-534, 2007.
18. B. Liblit, A. Aiken, A. X. Zheng, and M. I. Jordan. Bug isolation via remote program sampling. In Programming Language Design and Implementation, June 9-11 2003.
19. D. E. Lowell, S. Chandra, and P. M. Chen. Exploring failure transparency and the limits of generic recovery. In Operating System Design and Implementation, Oct. 2000.
20. D. E. Lowell and P. M. Chen. Discount checking: transparent, low-overhead recovery for general applications. Technical Report CSE-TR-410-499, University of Michigan, 1998.
21. D. Malayeri and J. Aldrich. Practical exception specifications. In Advanced Topics in Exception Handling Techniques, pages 200-220, 2006.
22. G. Nelson and D. C. Oppen. Simplification by cooperating decision procedures. ACM Trans. Program. Lang. Syst., 1(2):245-257, 1979.
23. M. Rinard. Acceptability-oriented computing. In Objectoriented programming, systems, languages, and applications, pages 221-239, 2003.
24. M. Rinard. Probabilistic accuracy bounds for fault-tolerant computations that discard tasks. In International Conference on Supercomputing, pages 324-334, 2006. (Pubitemid 47168519)
25. M. Rinard, C. Cadar, D. Dumitran, D. M. Roy, T. Leu, and J. William S. Beebee. Enhancing server availability and security through failure-oblivious computing. In Opearting Systems Design & Implementation, pages 21-121, 2004.
26. J. S. Shapiro, J. M. Smith, and D. J. Farber. EROS: a fast capability system. In Symposium on Operating Systems Principles, pages 170-185, 1999. (Pubitemid 129548355)
27. S. Sidiroglou, M. Locasto, S. Boyd, and A. Keromytis. Building a reactive immune system for software services. In USENIX Annual Technical Conference, 2005.
28. S. Sinha and M. J. Harrold. Criteria for testing exceptionhandling constructs in java programs. In Internal Conference on Software Maintenance, pages 265-, 1999.
29. A. M. Tyrrell. Recovery blocks and algorithm-based fault tolerance. In EUROMICRO, pages 292-, 1996.
30. R. Valĺee-Rai, L. Hendren, V. Sundaresan, P. Lam, E. Gagnon, and P. Co. Soot - a java optimization framework. In CASCON 1999, pages 125-135, 1999.
31. A. van Hoff. The case for java as a programming language. IEEE Internet Computing, 1(1):51-56, 1997. (Pubitemid 127595790)
32. P. Vo and Y. Huang. Xept: a software instrumentation method for exception handling. In Symposium on Software Reliability Engineering, pages 60-69, Nov. 1997.
33. W. Weimer. Patches as better bug reports. In Generative Programming and Component Engineering, pages 181-190, 2006. (Pubitemid 47168637)