Control-flow analysis of function call and returns by abstract interpretation

Jan Midtgaard 1, * Thomas Jensen 2
* Auteur correspondant
2 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : We derive a control-flow analysis that approximates the interproce- dural control-flow of both function calls and returns in the presence of first-class functions and tail-call optimization. In addition to an abstract environment, our analysis computes for each expression an abstract control stack, effectively approximating where func- tion calls return across optimized tail calls. The analysis is sys- tematically calculated by abstract interpretation of the stack-based CaEK abstract machine of Flanagan et al. using a series of Galois connections. Abstract interpretation provides a unifying setting in which we 1) prove the analysis equivalent to the composition of a continuation-passing style (CPS) transformation followed by an abstract interpretation of a stack-less CPS machine, and 2) extract an equivalent constraint-based formulation, thereby providing a ratio- nal reconstruction of a constraint-based control-flow analysis from abstract interpretation principles.
Type de document :
Communication dans un congrès
ACM International Conference on Functional Programming, Sep 2009, Edinburgh, United Kingdom. 2009, 〈10.1145/1596550.1596592〉
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00574944
Contributeur : Thomas Jensen <>
Soumis le : mercredi 9 mars 2011 - 10:40:13
Dernière modification le : mercredi 11 avril 2018 - 01:56:36
Document(s) archivé(s) le : vendredi 10 juin 2011 - 02:26:27

Fichier

ICFP09-ANFCFA.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Jan Midtgaard, Thomas Jensen. Control-flow analysis of function call and returns by abstract interpretation. ACM International Conference on Functional Programming, Sep 2009, Edinburgh, United Kingdom. 2009, 〈10.1145/1596550.1596592〉. 〈inria-00574944〉

Partager

Métriques

Consultations de la notice

345

Téléchargements de fichiers

302