Documents Detecting and preventing bugs with pluggable type-checking Michael D. Ernst University of Washington...

Slide 1 Detecting and preventing bugs with pluggable type-checking Michael D. Ernst University of Washington Joint work with Mahmood Ali, Werner Dietl, … http://types.cs.washington.edu/jsr308…

Documents print( @Readonly Object x) { List< @NonNull String> lst; …

print(@Readonly Object x) { List lst; ⦠} Detecting and preventing null pointer errors with pluggable type-checking CSE 331 University of Washington Motivation java.lang.NullPointerException…