Tipo di tesi
Tesi di laurea vecchio ordinamento
Titolo
Progetto e realizzazione di uno strumento di trasformazione del bytecode Java per una verifica efficiente
Corso di studi
INGEGNERIA INFORMATICA
Parole chiave
- Trasformazione di programma
- verifica del bytecode
Data inizio appello
05/11/2003
Riassunto (Italiano)
Il Bytecode Verifier della Java Virtual Machine testa staticamente la sicurezza dei tipi del bytecode ed è alla base del modello di sicurezza di Java. Tuttavia, esistono esempi di programmi Java legali, che non sono accettati dal Bytecode Verifier.
Questa tesi espone e analizza i limiti del Bytecode Verifier soffermandosi, in particolare, sul problema delle subroutines. Inoltre, una soluzione al problema della verifica delle subroutines è presentata.
La soluzione proposta si basa su uno strumento di trasformazione del bytecode Java, che apporta delle modifiche al codice prima che questo sia verificato. Il codice modificato sarà, infine, sottoposto all’algoritmo di verifica standard.
La trasformazione del bytecode non cambia la semantica del programma originario: il bytecode trasformato può essere eseguito dopo la verifica al posto del bytecode originario.
