The Checker Framework

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 de igualdad equivocadas y otros errores de ejecución que aparecen durante las pruebas o en el campo en sus programas Java. El Marco Comprobador incluye compilador plug-ins ("damas") que se encuentran errores o verificar su ausencia. También le permite escribir sus compilador propios plug-ins.