Quantifying the Precision of Numerical Abstract Domains - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2010

Quantifying the Precision of Numerical Abstract Domains

Résumé

In the context of the Abstract Interpretation framework, initiated by Cousot and Cousot to model program static analyses, numerous numerical abstract domains have been proposed. Their number is due to both the intended usage of the domains (properties to prove) and the trade-off between precision and computation efficiency. In this paper, we propose a way to quantify the precision of abstract values belonging to numerical domains like intervals, octagons or polyhedra. To do so, we rely on the fact that abstract values of that kind describe some volumes that can be measured. The article focuses on the definition and computation of this precision, also providing examples of application.
Fichier principal
Vignette du fichier
esop2010_submission_61.pdf (208.42 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00457324 , version 1 (17-02-2010)

Identifiants

  • HAL Id : inria-00457324 , version 1

Citer

Pascal Sotin. Quantifying the Precision of Numerical Abstract Domains. [Research Report] 2010, pp.20. ⟨inria-00457324⟩
170 Consultations
225 Téléchargements

Partager

Gmail Facebook X LinkedIn More