This thesis investigates an alternative use of type reconstruction, as a tool for extracting knowledge from programs written in weakly typed language. We explore this avenue along two different, but related directions. In the first part we present a static analyzer that exploits typing techniques to extract information from the COBOL source code: reconstructing informative types is an effective way for automatically generating a basic tier of documentation for legacy software, and is also a reliable starting point for performing further, higher-level program understanding processing. In the second part of we apply similar principles to an apparently distant context: validating inter-component communication of Android applications by reconstructing the types of data within Intents - the building blocks of message passing in Android. Both for COBOL and Android, we present a distinct implementation of the static analysis system proposed.

Information extraction by type analysis(2013 Apr 19).

Information extraction by type analysis

-
2013-04-19

Abstract

This thesis investigates an alternative use of type reconstruction, as a tool for extracting knowledge from programs written in weakly typed language. We explore this avenue along two different, but related directions. In the first part we present a static analyzer that exploits typing techniques to extract information from the COBOL source code: reconstructing informative types is an effective way for automatically generating a basic tier of documentation for legacy software, and is also a reliable starting point for performing further, higher-level program understanding processing. In the second part of we apply similar principles to an apparently distant context: validating inter-component communication of Android applications by reconstructing the types of data within Intents - the building blocks of message passing in Android. Both for COBOL and Android, we present a distinct implementation of the static analysis system proposed.
19-apr-2013
24
Informatica
Bugliesi, Michele
File in questo prodotto:
File Dimensione Formato  
phdthesis-convertito.pdf

accesso aperto

Descrizione: Ph.D. Thesis main file
Tipologia: Tesi di dottorato
Dimensione 1.02 MB
Formato Adobe PDF
1.02 MB Adobe PDF Visualizza/Apri

I documenti in ARCA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10579/3047
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact