Checker Framework GitHub

Het hulpmiddel analyseert Java-broncode om typekwalificatoren te verifiëren en af te dwingen zoals gedefinieerd door het Checker Framework. Het ondersteunt nullness, mutabiliteit en andere qualifiers via annotaties of inferentie en integreert met Gradle/Maven-builds en GitHub Actions om problemen in ontwikkeling en CI-pijplijnen te signaleren. Door dataflow en type-constraints te analyseren identificeert het overtredingen zoals potentiële NPE's, onbedoelde aliassing of contractovertredingen.

Conceptuele workflow: geef inputs op (source-paden, classpath en annotatiebibliotheken); de analyseur bouwt een AST en een qualifier-lattice, verwerkt annotaties, verspreidt constraints door instructies en rapporteert overtredingen met exacte bestands- en checker-informatie. SARIF- of JSON-rapporten kunnen geëxporteerd worden voor automatisering.

Doelgroepen zijn engineering-teams met grote Java-codebases, bibliotheekontwikkelaars en CI-engineers die reproduceerbare controles nodig hebben. Unieke waarde omvat plug-in checkers, standaard qualifiers en compatibiliteit met gangbare build-tools, waardoor schaalbare afdwinging over modules heen mogelijk is.

Kernfuncties en use-cases: standaard- en aangepaste checkers, incrementele en volledige analyses, SARIF-export, en gemakkelijke integratie in CI. Use-cases omvatten migratie naar strikte null-safety, audits van afhankelijkheden op qualifier-conformiteit en afdwingen van contracten in multi-module projecten.