Widening with Thresholds for Programs with Complex Control Graphs

Lies Lakhdar-Chaouch 1 Bertrand Jeannet 1 Alain Girault 1
1 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Résumé : La précision d'une analyse fondée sur l'interprétation abstraite dépend no seulement de l'expressivité du domaine abstrait, mais aussi de la façon dont les équations abstraites sont résolues: la solution optimale n'est en effet pas toujors calculable. La technique traditionnelle est de résoudre itérativement les équations de point-fixe abstraites, en effectuant des extrapolations à l'aide d'un opérateur d'élargissement pour faire converger les itérations. Malheureusement, ces extrapolations induisent fréquemment la perte d'informations cruciales pour l'objectif de l'analyse. Une technique classique pour améliorer la précision est << l'élargissement avec seuil >>, qui borne l'extrapolation. Son efficacité dépend fortement du choix de seuils pertinents. Nous proposons ici une technique de nature sémantique pour inférer automatiquement des seuils pertinents, qui s'applique à n''importe quel graphe de contrôle, qu'il soit intraprocédural, interprocédural ou concurrent, sans hypothèse spécifique sur le domaine abstrait. malgré sa simplicité technique, cette technique infère les seuils pertinents dans beaucoup de cas pratiques.
Type de document :
Rapport
[Research Report] RR-7673, INRIA. 2011, pp.17
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00606961
Contributeur : Bertrand Jeannet <>
Soumis le : jeudi 7 juillet 2011 - 18:48:59
Dernière modification le : jeudi 11 janvier 2018 - 01:48:47
Document(s) archivé(s) le : samedi 8 octobre 2011 - 02:35:06

Fichier

RR-7673.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00606961, version 1

Collections

Citation

Lies Lakhdar-Chaouch, Bertrand Jeannet, Alain Girault. Widening with Thresholds for Programs with Complex Control Graphs. [Research Report] RR-7673, INRIA. 2011, pp.17. 〈inria-00606961〉

Partager

Métriques

Consultations de la notice

424

Téléchargements de fichiers

127