Skip to content
David Bürgin edited this page Nov 1, 2015 · 25 revisions

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

  • Intro

  • Our mission

  • Set up

  • First analysis

  • Fixes

  • What we've achieved

  • Summary

etc.

Clone this wiki locally