Mavenorg.
org.checkerframework:checker-qual
checker-qual contains annotations (type qualifiers) that a programmerwrites to specify Java code for type-checking by the Checker Framework.
javatypesverification
org.checkerframeworkgithub.com/typetools/checker-frameworkcheckerframework.org/MITMichael Ernst, Suzanne Millstein1.2k · 442 forks · 184 contributors
Release cadenceEvery month
Last releaseOct 9, 2026
Open advisories0
Changelog quality0% curated
Notes not indexed yet
Release history SecurityYou're on
122 older or filtered releases not shown.
Upgrade guides
Breaking changes and a migration checklist for each major versionVersionChannelDateChangesSecurity
4.3.1 StableOct 9, 2026No changes listed4.3.0 StableOct 2, 2026No changes listed4.2.3 youStableSep 1, 2026No changes listed4.2.2 StableAug 6, 2026No changes listed4.2.1 StableJul 1, 2026No changes listed4.2.0 StableJun 1, 2026No changes listed4.1.0 StableMay 1, 2026No changes listed4.0.0 StableApr 7, 2026No changes listed3.55.1 StableApr 3, 2026No changes listed3.54.1 StableApr 2, 2026No changes listed3.54.0 StableMar 2, 2026No changes listed3.53.1 StableFeb 2, 2026No changes listed3.53.0 StableJan 6, 2026No changes listed3.52.1 StableDec 2, 2025No changes listed3.52.0 StableNov 4, 2025No changes listed3.51.1 StableOct 1, 2025No changes listed3.51.0 StableSep 10, 2025No changes listed3.50.0 StableAug 28, 2025No changes listed3.49.5 StableJun 30, 2025No changes listed3.49.4 StableJun 2, 2025No changes listed