ETD

Digital archive of theses discussed at the University of Pisa

 

Thesis etd-07032003-205643

Link copiato negli appunti
Thesis type
Tesi di laurea vecchio ordinamento
Author
Finelli, Filippo
URN
etd-07032003-205643
Thesis title
Progetto di uno strumento di trasformazione del ByteCode Java per la verifica efficiente su JavaCard.
Department
INGEGNERIA
Course of study
INGEGNERIA INFORMATICA
Supervisors
relatore De Francesco, Nicoletta
Keywords
  • javacard
  • verificatore
  • bytecode
  • register reallocation
  • javacard
  • verificatore
  • bytecode
  • register reallocation
  • javacard
  • verificatore
  • bytecode
  • register reallocation
  • javacard
  • verificatore
  • bytecode
  • register reallocation
  • bytecode
  • verificatore
  • javacard
  • register reallocation
  • bytecode
  • verificatore
  • javacard
  • register reallocation
  • bytecode
  • verificatore
  • javacard
  • register reallocation
Graduation session start date
24/07/2003
Availability
Withheld
Release date
24/07/2043
Summary
Questa tesi contiene un'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.
Nella tesi è stato sviluppato uno strumento che fornisce una implementazione Java della trasformazione "Register Reallocation" applicata per garantire che ogni registro assuma un unico tipo durante l'esecuzione del programma.
Lo strumento sviluppato contempla anche bytecode Java (.jca: JavaCard Assembly) in cui sono presenti, oltre ai tipi "address", "short", "byte" e "boolean", il tipo "int". Sempre in ambito della trasformazione "Register Reallocation" é indicato un algoritmo alternativo per il calcolo dei "Live Range" dei registri.
File
Nome file Dimensione
The thesis is not available as per the author’s request.
Contact the author