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

Examples:

Nullness (manual): NullnessExample | NullnessExampleWithWarnings

MapKey (manual): MapKeyExampleWithWarnings

Interning (manual): InterningExample | InterningExampleWithWarnings

Lock (manual): GuardedByExampleWithWarnings | HoldingExampleWithWarnings | EnsuresLockHeldExample | LockingFreeExampleWithWarnings

Fake Enumeration (manual): FakeEnumExampleWithWarnings

Tainting (manual): TaintingExampleWithWarnings

Regular Expression (manual): RegexExampleWithWarnings | RegexConcatenationExample

Format String (manual): FormatStringExampleWithWarnings

Signature Strings (manual): SignatureExampleWithWarnings | SignatureExample

GUI Effect (manual): GUIEffectExampleWithWarnings

Units (manual): SimpleDemoWithWarnings | MethodsDemoWithWarnings | PolyUnitDemoWithWarnings

Constant Value (manual): NoExample |

Aliasing (manual): NoExample |

Linear (manual): NoExample |

Checker Framework version 2.1.10 (1 Apr 2017)