Jlint

Jlint va a revisar su código de Java y encontrar errores, inconsistencias y problemas de sincronización al hacer el análisis de flujo de datos y la creación gráfica de bloqueo. Jlint consta de Antic, la solución de problemas con C gramática, lo que puede provocar errores del programador peligrosa, sin ser detectados por el compilador, y verificador Semántica Jlint, que extrae información de los archivos de clase Java. Jlint realiza análisis de flujo de datos local y global, el cálculo de los posibles valores de las variables locales y la captura de los cálculos redundantes y sospechosas. Salvo los puntos muertos, Jlint es capaz de detectar un posible problema de condición de carrera, cuando diferentes hilos pueden acceder simultáneamente las mismas variables.

Jlint utiliza enfoque inteligente para la presentación de informes de mensajes. Todos los mensajes se agrupan en categorías, y es posible activar o desactivar los mensajes de información de la categoría específica, así como mensajes concretos. Jlint puede recordar los mensajes reportados y no reportarlos una vez más cuando se ejecuta por segunda vez Jlint.