Tela Software:
Detalhes de Software:
ESC projecto / Java2 Frontend analisa Java de código fonte 1.4 e Java 1.5 bytecode em uma árvore de sintaxe abstrata que pode ser usado para estendido Verificação estática.
O Extended Verificador estático para Java versão 2 (ESC / Java2) é uma ferramenta de programação que tenta encontrar erros comuns de tempo de execução em programas Java JML-anotados por análise estática do código do programa e as suas anotações formais. Os usuários podem controlar a quantidade e os tipos de verificação de que ESC / Java2 executa, anotando os seus programas com comentários especialmente formatados chamadas pragmas.
ESC / Java2 está disponível em duas formas:
Comentários não encontrado