Jlint para unix.

verificador de código java
Baixe Agora

Jlint para unix. Classificação e resumo

Propaganda

  • Rating:
  • Licença:
  • Freeware
  • Nome do editor:
  • garret.ru
  • Site do editor:
  • Sistemas operacionais:
  • Unix
  • Tamanho do arquivo:
  • 70KB

Jlint para unix. Tag


Jlint para unix. Descrição

O Editby JLINT irá verificar seu código Java e encontrar insetos, inconsistências e problemas de sincronização fazendo análise de fluxo de dados e gráfico de bloqueio de construção. O JLINT consiste em dois programas separados realizando sintaxe e verificação semântica. No que diz respeito a Java, avança principalmente a sintaxe C / C ++ e, portanto, herda a maioria dos problemas causados pela sintaxe C, a ideia era criar um verificador de sintaxe comum para todas as línguas C, C ++, Objetivo C e Java. Este programa foi nomeado Antic, porque fixa problemas com a gramática C, o que pode causar erros de programadores perigosos, não detectados pelo compilador. Ao usar o scanner escrito à mão e simples parser de cima para baixo, a Antic é capaz de detectar esses bugs como uso suspeito de prioridades de operadores, ausência de interruptor no código de mudança, a suposição errada sobre os corpos das construções ... O verificador semântico jlint extrai informações de arquivos de classe Java. No que diz respeito ao arquivo de classe Java tem um formato muito bem especificado e simples, ele simplifica muito o JLINT em comparação com os verificadores de nível de origem, porque o desenvolvimento do parser de gramática Java não é uma tarefa simples (mesmo através da gramática Java é mais simples e menos ambígua que a gramática C ++) . Também lidando apenas com arquivos de classe, proteger JLINT de novas extensões Java (formato de instruções de byte virtual é mais conservadora). Ao usar informações de depuração, o JLINT pode associar mensagens reportadas com fontes Java. O JLINT executa análises locais e globais de fluxo de dados, calculando possíveis valores de variáveis locais e captura de cálculos redundantes e suspeitos. Ao executar a análise de invocação do método global, o JLINT é capaz de detectar invocação de método com possível valor "nulo" do parâmetro formal e usando este parâmetro em método sem verificação "null". O JLINT também constrói gráfico de dependência de bloqueio para dependências de classes e usa este gráfico para detectar situações, o que pode causar impasse durante a execução do programa multithread.


Jlint para unix. Software Relacionado

Mochic

Um conjunto de bibliotecas altamente documentado e testado e bem testado. ...

7 457KB

Download