The Checker Framework 1.6.4
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...