Building and using pluggable type-checkers

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2011, Pages 681-690

  Dietl, Werner ^a   Dietzel, Stephanie ^a   Ernst, Michael D ^a   Muşlu, Kivanç ^a   Schiller, Todd W ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

Author keywords

annotation; binary name; bug finding; case study; enum; enumeration; field descriptor; fully qualified name; intern; java; nonnull; pluggable type; type qualifier; type system

Indexed keywords

ANNOTATION; BINARY NAME; BUG FINDING; DESCRIPTORS; ENUM; ENUMERATION; FULLY QUALIFIED NAME; INTERN; JAVA; NONNULL; PLUGGABLE TYPE; TYPE QUALIFIERS; TYPE SYSTEMS;

DEFECTS; ERRORS; JAVA PROGRAMMING LANGUAGE; SOFTWARE ENGINEERING; SOFTWARE TESTING;

PROGRAM DEBUGGING;

EID: 79959897527     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1985793.1985889     Document Type: Conference Paper

References (27)

1. J. R. Allen. Anatomy of LISP. McGraw-Hill, New York, 1978.
2. C. Andreae, J. Noble, S. Markstrum, and T. Millstein. A framework for implementing pluggable type systems. In OOPSLA, pages 57-74, Oct. 2006.
3. P. Chalin, P. James, and F. Rioux. Reducing the use of nullable types through non-null by default and monotonic non-null. IET Software, 2(6):515-531, Dec. 2008.
4. Checker Framework website. http://types.cs.washington.edu/checker- framework/.
5. ECMA Technical Group TG49-TG4 (Eiffel) of ECMA Technical Committee 49 (Programming Languages), editor. Standard ECMA-367 and ISO/IEC 25436:2006, Eiffel Analysis, Design and Programming Language. ECMA International and International Standards Organization, Geneva, June 2006.
6. T. Ekman and G. Hedin. The JastAdd extensible Java compiler. In OOPSLA, pages 1-18, Oct. 2007.
7. T. Ekman and G. Hedin. Pluggable checking and inferencing of non-null types for Java. J. Object Tech., 6(9):455-475, Oct. 2007.
8. M. D. Ernst. Building and using pluggable type systems with the Checker Framework. In ECOOP, July 2008. Tool demo.
9. M. D. Ernst. Type Annotations specification (JSR 308). http://types.cs.washington.edu/jsr308/, Sep. 12, 2008.
10. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. In ICSE, pages 213-224, May 1999.
11. M. D. Ernst, J. H. Perkins, P. J. Guo, S. McCamant, C. Pacheco, M. S. Tschantz, and C. Xiao. The Daikon system for dynamic detection of likely invariants. Sci. Comput. Programming, 69(1-3):35-45, Dec. 2007.
12. A. P. Ershov. On programming of arithmetic operations. CACM, 1(8):3-6, Aug. 1958.
13. J.-C. Filliâtre and S. Conchon. Type-safe modular hash-consing. In ML, pages 12-19, Sep. 2006.
14. J. S. Foster, M. Fähndrich, and A. Aiken. A theory of type qualifiers. In PLDI, pages 192-203, June 1999.
15. J. S. Foster, T. Terauchi, and A. Aiken. Flow-sensitive type qualifiers. In PLDI, pages 1-12, June 2002.
16. J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification. Addison Wesley, Boston, MA, third edition, 2005.
17. E. Goto. Monocopy and associative algorithms in an extended Lisp. Technical Report 74-03, Information Science Laboratory, University of Tokyo, Tokyo, Japan, May 1974.
18. D. Greenfieldboyce and J. S. Foster. Type qualifier inference for Java. In OOPSLA, pages 321-336, Oct. 2007.
19. D. Hovemeyer, J. Spacco, and W. Pugh. Evaluating and tuning a static analysis to find null pointer bugs. In PASTE, pages 13-19, Sep. 2005.
20. T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison-Wesley, Reading, MA, USA, 2nd edition, 1999.
21. D. Marinov and R. O'Callahan. Object equality profiling. In OOPSLA, pages 313-325, Nov. 2003.
22. S. Markstrum, D. Marino, M. Esquivel, T. Millstein, C. Andreae, and J. Noble. JavaCOP: Declarative pluggable types for Java. ACM TOPLAS, 32(2):1-37, Jan. 2010.
23. B. Meyer, A. Kogtenkov, and E. Stapf. Avoid a void: The eradication of null dereferencing. In Reflections on the Work of C.A.R. Hoare, chapter 9, pages 189-211. Springer, London, 2010.
24. N. Nystrom, M. R. Clarkson, and A. C. Myers. Polyglot: An extensible compiler framework for Java. In CC, pages 138-152, Apr. 2003.
25. M. M. Papi, M. Ali, T. L. Correa Jr., J. H. Perkins, and M. D. Ernst. Practical pluggable types for Java. In ISSTA, pages 201-212, July 2008.
26. M. Vaziri, F. Tip, S. Fink, and J. Dolby. Declarative object identity using relation types. In ECOOP, pages 54-78, Aug. 2007.
27. O. Zendra and D. Colnet. Towards safer aliasing with the Eiffel language. In IWAOOS, pages 153-154, June 1999.