Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques

Abstract : Abstract interpretation based value analysis is a classical approach for verifying programs with floating-point computations. However, state-of-the-art tools compute an over-approximation of the variable values that can be very coarse. In this paper, we show that constraint solvers can significantly refine the approximations computed with abstract interpretation tools. We introduce a hybrid approach that combines abstract interpretation and constraint programming techniques in a single static and automatic analysis. RAICP, the system we developed is substantially more precise than FLUCTUAT, a state-of-the-art static analyser. Moreover, it could eliminate 13 false alarms generated by FLUCTUAT on a standard set of benchmarks.
Type de document :
Communication dans un congrès
Principles and Practice of Constraint Programming. 18th International Conference, Oct 2012, Quebec, Canada. Proc. of CP2012, Lecture Notes in Computer Science (2012), pp.593 - 607, 2012, Principles and Practice of Constraint Programming. <http://link.springer.com/chapter/10.1007/978-3-642-33558-7_43>. <10.1007/978-3-642-33558-7_43>
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-01099512
Contributeur : Michel Rueher <>
Soumis le : dimanche 4 janvier 2015 - 14:20:45
Dernière modification le : mercredi 8 avril 2015 - 16:34:46
Document(s) archivé(s) le : dimanche 5 avril 2015 - 10:06:29

Fichier

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

Licence


Distributed under a Creative Commons Paternité - Pas d'utilisation commerciale - Pas de modification 4.0 International License

Identifiants

Collections

Citation

Olivier Ponsini, Claude Michel, Michel Rueher. Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques. Principles and Practice of Constraint Programming. 18th International Conference, Oct 2012, Quebec, Canada. Proc. of CP2012, Lecture Notes in Computer Science (2012), pp.593 - 607, 2012, Principles and Practice of Constraint Programming. <http://link.springer.com/chapter/10.1007/978-3-642-33558-7_43>. <10.1007/978-3-642-33558-7_43>. <hal-01099512>

Partager

Métriques

Consultations de
la notice

118

Téléchargements du document

101