The Checker Framework 1.6.4
Το πλαίσιο Checker ενισχύει το σύστημα τύπου της Java. Αυτό επιτρέπει στους προγραμματιστές λογισμικού εντοπισμό και την πρόληψη των σφαλμάτων, όπως null εξαιρέσεις δείκτη, ακούσιες παρενέργειες, ενέσεις SQL, σφάλματα συνταύτισης, λάθος δοκιμές ισότητα,...