Location of Repository

Progetto e realizzazione di uno strumento di trasformazione del bytecode Java per una verifica efficiente

By Simona Ippolito

Abstract

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

Topics: INGEGNERIA
Publisher: Pisa University
Year: 2003
OAI identifier: oai:etd.adm.unipi.it:etd-10142003-182306

Suggested articles

Preview


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.