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)
