The Checker Framework

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, și alte erori run-time care apar în timpul încercării sau în domeniul în programele lor Java. Cadrul Checker include compilator plug-in-uri ("dame") care găsesc bug-uri sau verifica absența lor. De asemenea, vă permite să scrie propriile compilator de plug-in-uri.