Checker Framework GitHub

Verktyget analyserar Java-källkod för att verifiera och upprätthålla typkvalificerare definierade av Checker Framework. Det stödjer nullhet, mutabilitet och andra qualifiers genom annotationer eller inferens och integreras med Gradle/Maven-bygg och GitHub Actions för att visa problem i utvecklings- och CI-miljöer. Genom att analysera dataflöde och typbegränsningar identifierar det överträdelser som potentiella NPE:er, oavsiktlig aliasing eller kontraktsbrott.

Konceptuellt arbetsflöde: tillhandahåll ingångar (källvägar, classpath och annoteringsbibliotek); analysverktyget bygger en AST och ett qualifier-lattice, bearbetar annoteringar, sprider begränsningar genom satser och rapporterar överträdelser med exakt fil- och checker-information. SARIF- eller JSON-rapporter kan exporteras för automatiserad användning.

Mottagare är ingenjörensteam med stora Java-kodbaser, biblioteksskapare och CI-ingenjörer som kräver reproducerbara kontroller. Unik nytta inkluderar utbytbara checkers, standard qualifiers och kompatibilitet med vanliga byggverktyg för skalbar genomförande över moduler.

Kärnfunktioner och användningsfall: standard- och anpassade checkers, inkrementella och fullständiga analyser, SARIF-export, och enkel integration i CI. Användningsfall inkluderar migrering till strikt null-säkerhet, granskning av beroenden för kvalifikatoröverensstämmelse och genomförande av kontrakt i multi-modulprojekt.