ETD system

Electronic theses and dissertations repository

 

Tesi etd-06232003-142804


Thesis type
Tesi di laurea vecchio ordinamento
Author
Stilli, Simone
URN
etd-06232003-142804
Title
Progetto di uno strumento di trasformazione del ByteCode Java per la verifica efficiente su JavaCard.
Struttura
INGEGNERIA
Corso di studi
INGEGNERIA INFORMATICA
Commissione
relatore De Francesco, Nicoletta
Parole chiave
  • verificatore
  • javacard
  • register reallocation
  • bytecode
Data inizio appello
24/07/2003;
Consultabilità
completa
Riassunto analitico
Questa tesi contiene un&#39;analisi approfondita del Verificatore del bytecode della Sun Microsystems per JavaCard e lo studio delle trasformazioni del bytecode proposte in letteratura per una verifica diretta del bytecode su JavaCard. <br>Nella tesi è stato sviluppato uno strumento che fornisce una implementazione Java della trasformazione &#34;Register Reallocation&#34; applicata per garantire che ogni registro assuma un unico tipo durante l&#39;esecuzione del programma. <br>Lo strumento sviluppato contempla anche bytecode Java (.jca: JavaCard Assembly) in cui sono presenti, oltre ai tipi &#34;address&#34;, &#34;short&#34;, &#34;byte&#34; e &#34;boolean&#34;, il tipo &#34;int&#34;. Sempre in ambito della trasformazione &#34;Register Reallocation&#34; é indicato un algoritmo alternativo per il calcolo dei &#34;Live Range&#34; dei registri.
File