Checker Framework Live Demo
Write Java code here:
Choose a type system: manual of Nullness Checker

Checker Framework version 3.8.0 (1 Dec 2020)