EISOP Checker Framework Live Demo

Write Java code here, then click check

1
2
import org.checkerframework.checker.nullness.qual.Nullable;
class YourClassNameHere {
X

Choose a type system: manual of Nullness Checker

Examples:

Nullness (manual): NullnessExample | NullnessExampleWithWarnings

Optional (manual): OptionalExample | OptionalExampleWithWarnings

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)

Index (manual)

Aliasing (manual)

EISOP Checker Framework version 3.42.0-eisop3 (Mar 1, 2024)