The Checker Framework

Το πλαίσιο Checker ενισχύει το σύστημα τύπου της Java. Αυτό επιτρέπει στους προγραμματιστές λογισμικού εντοπισμό και την πρόληψη των σφαλμάτων, όπως null εξαιρέσεις δείκτη, ακούσιες παρενέργειες, ενέσεις SQL, σφάλματα συνταύτισης, λάθος δοκιμές ισότητα, και άλλα σφάλματα χρόνου εκτέλεσης που εμφανίζονται κατά τη διάρκεια της δοκιμής ή στον τομέα των προγραμμάτων Java τους. Το πλαίσιο Checker περιλαμβάνει compiler plug-ins («πούλια»), που βρίσκουν σφάλματα ή επιβεβαιώνει την απουσία τους. Σας επιτρέπει επίσης να γράψετε τη δική σας compiler plug-ins.