In this paper we propose a unifying approach for the static analysis of string values based on abstract interpretation, and we present several abstract domains that track different types of information. In this way, the analysis can be tuned at diversified levels of precision and efficiency, and it can check various properties.
Static Analysis of String Values
COSTANTINI, GIULIA;FERRARA P.;CORTESI, Agostino
2011-01-01
Abstract
In this paper we propose a unifying approach for the static analysis of string values based on abstract interpretation, and we present several abstract domains that track different types of information. In this way, the analysis can be tuned at diversified levels of precision and efficiency, and it can check various properties.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
icfem2011.pdf
non disponibili
Tipologia:
Documento in Pre-print
Licenza:
Accesso chiuso-personale
Dimensione
192.74 kB
Formato
Adobe PDF
|
192.74 kB | Adobe PDF | Visualizza/Apri |
I documenti in ARCA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
