The Checker Framework 1.6.4
O Framework Checker aprimora o sistema de tipo Java. Isso permite que os desenvolvedores de software detectar e evitar erros como exceções de ponteiro nulo, efeitos colaterais indesejados, injeções SQL, erros de simultaneidade, testes de igualdade...