Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java

Résumé

This paper contributes to a new abstract domain that combines static numeric analysis and points-to analysis. One particularity of this abstract domain lies in its high degree of modularity, in the sense that the domain is constructed by reusing its combined components as black-boxes. This modularity dramatically eases the proof of its soundness and renders its algorithm intuitive. We have prototyped the abstract domain for analyzing real-world Java programs. Our experimental results show a tangible precision enhancement compared to what is possible by traditional static numeric analysis, and this at a cost that is comparable to the cost of running the numeric and pointer analyses separately.
Fichier principal
Vignette du fichier
vmcai14_camera-ready_Fu.pdf (425.11 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00809826 , version 1 (09-04-2013)
hal-00809826 , version 2 (20-12-2013)
hal-00809826 , version 3 (20-12-2013)

Identifiants

  • HAL Id : hal-00809826 , version 2

Citer

Zhoulai Fu. Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java. VMCAI - 15th International Conference on Verification, Model Checking, and Abstract Interpretation - 2014, Jan 2014, San Diego, United States. pp.282-301. ⟨hal-00809826v2⟩
296 Consultations
487 Téléchargements

Partager

Gmail Facebook X LinkedIn More