The Checker Framework 1.6.4
Cadrul Checker îmbunătățește sistem de tip Java. Acest lucru permite dezvoltatorilor de software detecta și a preveni erorile, cum ar fi excepții nule indicatorul, efecte secundare nedorite, injecții SQL, erori de concurenta, teste greșite de egalitate,...