The Checker Framework

La description

Le Checker Framework améliore le système de type de Java. Cela permet aux développeurs de logiciels de détecter et d'éviter les erreurs telles que les exceptions de pointeur nul, les effets secondaires imprévus, les injections SQL, les erreurs de concurrence, les tests d'égalité erronés et d'autres erreurs d'exécution qui apparaissent pendant les tests ou sur le terrain dans leurs programmes Java. Le Checker Framework comprend des plug-ins de compilateur ("vérificateurs") qui trouvent des bogues ou vérifient leur absence. Il vous permet également d'écrire vos propres plug-ins de compilateur.