April 05
Prof. Ismael H. F. Santos
- ismael@tecgraf.puc-rio.br
2
Bytecode Verifier
n Verificação de Bytecodes (cont)
n Verificação garante
nAderência
ao formato de arquivo especificado [JVMS]
nNão-violação
de políticas de acesso estabelecidas pela aplicação
nNão-violação
da integridade do sistema
nAusência
de estouros de pilha
nTipos
de parâmetros corretamente especificados e ausência de conversões ilegais de tipos