Checker Framework GitHub

Das Tool analysiert Java-Quellcode, um Typqualifizierer gemäß dem Checker Framework zu verifizieren und durchzusetzen. Es unterstützt Nullness, Mutabilität und weitere Qualifieren durch Annotationen oder Inferenz und lässt sich nahtlos in Gradle- und Maven-Builds sowie GitHub Actions integrieren, um Probleme in Entwicklungs- und CI-Pipelines sichtbar zu machen. Durch die Analyse von Datenfluss und Typbeschränkungen erkennt es Verstöße wie potenzielle Nullpointer (NPE), unbeabsichtigte Aliasing- oder Vertragsverletzungen.

Konzeptioneller Arbeitsablauf: Eingaben bereitstellen (Quellpfade, Klassenpfad und Annotation-Bibliotheken); der Analyzer baut ein AST und ein Qualifier-Lattice, verarbeitet Annotationen, propagiert Constraints durch Anweisungen und meldet Verstöße mit präziser Dateiauflösung und Checker-Informationen. SARIF- oder JSON-Berichte können exportiert werden, um automatisierte Tools zu unterstützen.

Zielgruppen umfasst Engineering-Teams mit großen Java-Codebasen, Bibliotheksersteller und CI-Ingenieure, die reproduzierbare Checks benötigen. Der einzigartige Wert liegt in pluggable Checkern, Standard-Qualifiers und Kompatibilität mit gängigen Build-Tools, was eine skalierbare Durchsetzung über Module hinweg ermöglicht.

Kernfunktionen und Anwendungsfälle: Standard- und benutzerdefinierte Checker, inkrementelle und vollständige Analysen, SARIF-Export, und einfache Integration in CI. Anwendungsfälle umfassen Migration zu strikter Null-Sicherheit, Audit von Abhängigkeiten auf Qualifier-Konformität und Durchsetzung von Verträgen in Multi-Modul-Projekten.