C A P I T O L O
7
Conclusioni e sviluppi futuri
Il lavoro svolto in questa tesi si inserisce in un progetto di sviluppo di un verificatore on-card su sistemi Java Cards.
Tale verificatore ottimizza lo spazio di memoria occupato durante il processo di verifica rendendo dinamiche le strutture dati ed evita il salvataggio dei frames duplicati nel dizionario.
La verifica del bytecode viene resa difficile dalla presenza delle subroutines, parti di codice condiviso. In particolare, nella tesi, è stato studiato il problema della verifica delle subroutines ed è stato sviluppato un componente che consente una verifica polivariante nel rispetto dell’occupazione di memoria.
Un possibile lavoro futuro è l’estensione della verifica anche ai gestori di eccezione, attualmente non supportati. I gestori di eccezione proteggono una parte di codice di un determinato metodo e nel caso in cui si sollevasse una eccezione della stessa classe specificata dal gestore, l’esecuzione passerebbe al gestore.
