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

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.
Formal Methods and Software Engineering
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.

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