The Checker Framework 1.6.4
En el Marco del inspector mejora sistema de tipos de Java. Esto permite a los desarrolladores de software detectar y prevenir errores como excepciones de puntero nulo, los efectos secundarios no deseados, inyecciones SQL, errores de concurrencia, pruebas...