Home

Hands-on tutorial for null-safe programming with the Checker Framework.

• Intro

• Tutorial

  • Our mission
  • Set up
    • requirements: Java 1.8, Maven, Checker Framework (could do it just in IDE, but we want to learn this from the ground up, so pure Maven it is)
    • install checker framework
    • small tweaks to POM, Java version
  • First analysis
    • where we start, @Nullable on entities
  • First easy bug fixes
    • also more obvious @Nullable
  • Tweaking the checker, skipUses
    • again various improvements
  • Using assertions
    • assumeAssertions, using assertions to guide the checker
  • Suppressing warnings
    • on injected fields
  • Fixing all bugs in the source
    • mvn compile successful
  • Fixing the tests
  • What we've achieved
    • number of annotations, asserts, suppressions; number of null bugs
    • also list LOC; churn -> clearly this refactoring used a very soft brush

• Summary

• Further info

  • Tooling
  • References

etc.