The Checker Framework

Il quadro Checker migliora sistema di tipi di Java. Questo consente agli sviluppatori di software di rilevare e prevenire errori come eccezioni nulli puntatore, effetti collaterali indesiderati, iniezioni SQL, errori di concorrenza, test parità sbagliate e altri errori di runtime che appaiono durante le prove o in campo nei loro programmi Java. Il quadro Checker include plug-in compilatore ("dama") che trovano bug o verificare la loro assenza. Essa consente inoltre di scrivere i propri compilatore plug-in.