In the abstract interpretation theory, program properties are encoded by abstract domains, and the combination of abstract domains leads to new properties to be analyzed. We propose a new method to combine numerical abstract domains based on the Minkowski sum. We provide a general framework equipped with all the necessary abstract operators for static analysis of imperative languages.
Sum of Abstract Domains
AMATO, Gianluca;DI NARDO DI MAIO, SIMONE;SCOZZARI, Francesca
2015-01-01
Abstract
In the abstract interpretation theory, program properties are encoded by abstract domains, and the combination of abstract domains leads to new properties to be analyzed. We propose a new method to combine numerical abstract domains based on the Minkowski sum. We provide a general framework equipped with all the necessary abstract operators for static analysis of imperative languages.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
nfm15.pdf
Solo gestori archivio
Tipologia:
PDF editoriale
Dimensione
393.87 kB
Formato
Adobe PDF
|
393.87 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
