The Checker Framework

Le Cadre Checker améliore le système de type Java. Cela permet aux développeurs de logiciels de détecter et d'éviter les erreurs comme exceptions nulles pointeur, des effets secondaires indésirables, les injections SQL, les erreurs de simultanéité, tests d'égalité erronées, et d'autres erreurs d'exécution qui apparaissent au cours des essais ou dans le domaine dans leurs programmes Java. Le Cadre Checker comprend les plug-ins de compilation (les «dames») qui trouveront des bugs ou de vérifier leur absence. Il vous permet également d'écrire vos propres plug-ins du compilateur.