Thesis etd-10142003-182306 |
Link copiato negli appunti
Thesis type
Tesi di laurea vecchio ordinamento
Author
Ippolito, Simona
URN
etd-10142003-182306
Thesis title
Progetto e realizzazione di uno strumento di trasformazione del bytecode Java per una verifica efficiente
Department
INGEGNERIA
Course of study
INGEGNERIA INFORMATICA
Supervisors
relatore De Francesco, Nicoletta
Keywords
- Trasformazione di programma
- verifica del bytecode
Graduation session start date
05/11/2003
Availability
Full
Summary
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.
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.
File
Nome file | Dimensione |
---|---|
TESI.pdf | 1.95 Mb |
Contatta l’autore |