The Checker Framework

Descripción

Checker Framework mejora el sistema de tipos de Java. Esto permite a los desarrolladores de software detectar y prevenir errores como excepciones de puntero nulo, efectos secundarios no deseados, inyecciones de SQL, errores de concurrencia, pruebas de igualdad erróneas y otros errores de tiempo de ejecución que aparecen durante las pruebas o en el campo en sus programas Java. Checker Framework incluye complementos de compilador ("verificadores") que encuentran errores o verifican su ausencia. También le permite escribir sus propios complementos de compilación.