Checker Framework GitHub

Cet outil analyse le code source Java pour vérifier et faire respecter les qualificatifs de type définis par le Checker Framework. Il prend en charge la nullité, l’immuabilité et d’autres qualifiers via des annotations ou l’inférence, et s’intègre aux builds Gradle/Maven et aux GitHub Actions pour remonter les problèmes dans les environnements de développement et CI. En analysant le flux de données et les contraintes de type, il identifie les violations telles que les NPE potentielles, l’aliasing involontaire ou les violations de contrat.

Flux de travail conceptuel : fournir les entrées (chemins sources, classpath et bibliothèques d’annotations); l’analyseur construit un AST et un lattice de qualificatifs, traite les annotations, propage les contraintes à travers les instructions et signale les violations avec des informations précises de fichier et de qualifier. Des rapports SARIF ou JSON peuvent être exportés pour des outils automatisés.

Les bénéficiaires comprennent les équipes d’ingénierie avec de grands codes Java, les auteurs de bibliothèques et les ingénieurs CI nécessitant des vérifications reproductibles. La valeur unique réside dans des checkers modulaires, des qualifiers standard et la compatibilité avec les outils de build courants, permettant une application à l’échelle sur plusieurs modules.

Fonctionnalités clés et cas d’usage : checkers standard et personnalisés, analyses incrémentielles et complètes, export SARIF, intégration CI facile. Cas d’usage : migration vers une null-safety stricte, audit des dépendances pour conformité aux qualifiers et application des contrats dans des projets multi-modules.