The Checker Framework 1.6.4
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é,...