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

Zhoulai Fu 1, *
* Auteur correspondant
Abstract : 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.
Type de document :
Communication dans un congrès
Kenneth McMillan, Xavier Rival. VMCAI - 15th International Conference on Verification, Model Checking, and Abstract Interpretation - 2014, Jan 2014, San Diego, United States. Springer, 2014
Liste complète des métadonnées

Littérature citée [32 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00809826
Contributeur : Fu Zhoulai <>
Soumis le : vendredi 20 décembre 2013 - 21:00:51
Dernière modification le : samedi 21 décembre 2013 - 12:06:51
Document(s) archivé(s) le : samedi 8 avril 2017 - 08:14:18

Fichier

nump_vmcai14_zfu.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00809826, version 3

Citation

Zhoulai Fu. Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java. Kenneth McMillan, Xavier Rival. VMCAI - 15th International Conference on Verification, Model Checking, and Abstract Interpretation - 2014, Jan 2014, San Diego, United States. Springer, 2014. 〈hal-00809826v3〉

Partager

Métriques

Consultations de la notice

367

Téléchargements de fichiers

146