Jlint para unix

Verificador de código Java
Descargar ahora

Jlint para unix Clasificación y resumen

Anuncio publicitario

  • Rating:
  • Licencia:
  • Freeware
  • Nombre del editor:
  • garret.ru
  • Sitio web del editor:
  • Sistemas operativos:
  • Unix
  • Tamaño del archivo:
  • 70KB

Jlint para unix Etiquetas


Jlint para unix Descripción

EditBy Jlint revisará su código de Java y encontrará errores, inconsistencias y problemas de sincronización haciendo análisis de flujo de datos y creación de gráficos de bloqueo. Jlint consta de dos programas separados que realizan sintaxis y verificación semántica. En cuanto a Java hereda principalmente la sintaxis de C / C ++ y, por lo tanto, hereda la mayoría de los problemas causados ​​por la sintaxis de C, la idea era crear un verificador de sintaxis comunes para todos los idiomas C-family: C, C ++, Objetivo C y Java. Este programa se llamó Antic, porque soluciona problemas con C Gramática, lo que puede causar errores de programador peligroso, sin ser detectado por compilador. Al utilizar el escáner escrito a mano y el simple analizador de arriba hacia abajo, la Antic es capaz de detectar los errores como uso sospechoso de las prioridades de los operadores, ausencia de interrupciones en el código de conmutación, supuesto incorrecto sobre los organismos de construcciones ... Verifier semántico Jlint extrae información de archivos de clase Java. En cuanto al archivo de clase Java tiene un formato muy bien especificado y sencillo, simplifica en gran medida a Jlint en comparación con los verificadores de nivel de origen, porque el desarrollo del analizador de la gramática Java no es una tarea simple (incluso a través de la gramática Java es más simple y menos ambigua que la gramática de C ++) . También trata solo con archivos de clase, proteja a JLINT de otras extensiones de Java (el formato de las instrucciones de byte virtual es más conservador). Al utilizar la información de depuración, Jlint puede asociar los mensajes informados con fuentes de Java. Jlint realiza análisis de flujo de datos locales y globales, calculando los valores posibles de las variables locales y la captura de cálculos redundantes y sospechosos. Al realizar un análisis de invocación de métodos globales, Jlint puede detectar la invocación del método con un posible valor "nulo" del parámetro formal y el uso de este parámetro en el método sin verificar "NULL". Jlint también construye un gráfico de dependencia de bloqueo para las dependencias de las clases y utiliza este gráfico para detectar situaciones, lo que puede causar un bloqueo durante la ejecución del programa multiprocedentes.


Jlint para unix Software relacionado

Sobre nosotros