ETD system

Electronic theses and dissertations repository

 

Tesi etd-10142003-182306


Thesis type
Tesi di laurea vecchio ordinamento
Author
Ippolito, Simona
URN
etd-10142003-182306
Title
Progetto e realizzazione di uno strumento di trasformazione del bytecode Java per una verifica efficiente
Struttura
INGEGNERIA
Corso di studi
INGEGNERIA INFORMATICA
Commissione
relatore De Francesco, Nicoletta
Parole chiave
  • verifica del bytecode
  • Trasformazione di programma
Data inizio appello
05/11/2003;
Consultabilità
completa
Riassunto analitico
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.<br>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.<br>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.<br>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.<br>
File