Preventing Runtime Errors at Compile Time

Michael Ernst (University of Washington), Werner Dietl (University of Waterloo)
Java & JVM
Location: D139-140
Average rating: ***..
(3.69, 13 ratings)

Are you tired of null pointer exceptions, unintended side effects, SQL injections, concurrency errors, mistaken equality tests, and other run-time errors that appear during testing or in the field? A pluggable type system can guarantee the absence of these errors, and of many other important bugs.

Are you a software architect who wants to implement custom checks that enforce correct usage and prevent errors? You need a framework that supports you in creating a code checker.

This presentation is aimed at both audiences. Existing language type systems are insufficiently expressive to capture important properties and prevent related bugs. A pluggable type system can give a compile-time guarantee of data properties. We will explain what it is, how to use it, and how to create your own. You can use existing pluggable type-checkers, or you can create a simple new one in 2 minutes.

We will demo the Checker Framework, which enables you to create pluggable type systems for Java. Oracle is adding syntax to Java 8 to better support the Checker Framework, but you can use it with any version of Java. The Checker Framework provides 12 pluggable type systems that are ready to use, including nullness, immutability, and concurrency type-checkers. The tools are freely available at http://types.cs.washington.edu/checker-framework.

The presentation will first develop a simple declarative type checker that checks the consistency of method signature strings. The presentation will then discuss the design and usage of more advanced checkers.

The Checker Framework has found hundreds of bugs in over 3 million lines of well-tested open source code, including from Oracle, Google, Apache, etc. Even novices can quickly use or create a pluggable type system.

Prerequisite knowledge for this session: A basic understanding of Java programming is assumed. Attendants are encouraged to come with a laptop computer to participate in hands-on exercises, including analyzing participants’ own code.

Photo of Michael Ernst

Michael Ernst

University of Washington

Michael D. Ernst is an Associate Professor in the Computer Science and Engineering department at the University of Washington. He has been honored as a ``Java Rock Star’’ for a crowd-pleasing JavaOne presentation. He is the specification lead for the Type Annotations language extension (``JSR 308’‘) that will be part of Java 8 - the first non-Sun-employee to be the specification lead for a Java language change. This JSR was awarded ``most innovative JSR’’ by Sun. Ernst’s research aims to make software more reliable, more secure, and easier (and more fun!) to produce. His primary technical interests are in software engineering and related areas, including programming languages, type theory, security, program analysis, bug prediction, testing, and verification. Ernst’s research combines strong theoretical foundations with realistic experimentation, with an eye to changing the way that software developers work. Dr. Ernst was previously a tenured professor at MIT, and before that a researcher at Microsoft Research. More information is available at his homepage.

Photo of Werner Dietl

Werner Dietl

University of Waterloo

Werner Dietl is a post-doctoral research associate at the University of Washington, where he is a member of the programming languages and software engineering groups and collaborates with the architecture group. His research goal is to help software engineers produce high-quality software by enabling them to better understand and structure their software. Previously, he was a research and teaching assistant at the Chair of Programming Methodology, ETH Zurich. More information is available at his homepage.

Comments on this page are now closed.

Comments

Chris Pall
07/24/2012 7:37am PDT

In spite of the technical hurdles, this content of this presentation was extremely good and I felt better for being exposed to it. I was inspired to look further and to follow up on the project.

Magnus Runesson
07/23/2012 11:38pm PDT

Very interesting subject that can help solve some of your runtime problems. But as always, it is not a silver bullet. Looking forward to see future progress.

Picture of Bert  Porter
Bert Porter
07/22/2012 3:14pm PDT

I agree that the framework is interesting and could be very useful, and that the tutorial suffered from time lost to classpath issues, etc. This sort of command line compilation and running is rarely done in the professional world. It would have been a much better use of the time if we had a preconfigured eclipse instance to work with. After generating the compiler error, I’d have liked to walk through fixing the error together too. And then look more at writing extensions.

Jeffrey Davison
07/19/2012 4:10pm PDT

While I believe that this Checker framework can be useful (I will try to incorporate it), the presentation needs some work. 1 – provide instructions to the class PRIOR to the time of the class on downloading the required packages. 2 – correct the javac.bat file to not overwrite the bootclasspath. If this had been a painless process, we could have gained much more value. We never did get to the part about integrating this with Eclipse.

Scott Chilcote
07/18/2012 5:04am PDT

This session was informative and helpful, but was also rather frustrating to me primarily due to the lack of internet access during the tutorial. If the presenters had provided a more complete build of the class examples, I would have been able to resolve the classpath issues I was having and would have been able to build the example code successfully. As a professional Java programmer, I have used build systems for years (e.g. Maven) that automatically resolve library references. I am very impressed with the framework they have created, but would also like to see more of the process one would follow in deciding what annotations to add to an existing software project.

Sponsors

For information on exhibition and sponsorship opportunities at the conference, contact Sharon Cordesse at (707) 827-7065 or scordesse@oreilly.com.

View a complete list of OSCON contacts