Calling Context Abstraction with Shapes

Xavier Rival 1, 2 Bor-Yuh Evan Chang 3
2 ABSTRACTION - Abstract Interpretation and Static Analysis
CNRS - Centre National de la Recherche Scientifique : UMR 8548, Inria Paris-Rocquencourt, DI-ENS - Département d'informatique de l'École normale supérieure
Abstract : Interprocedural program analysis is often performed by computing procedure summaries. While possible, computing adequate summaries is difficult, particularly in the presence of recursive procedures. In this paper, we propose a complementary framework for interprocedural analysis based on a direct abstraction of the calling context. Specifically, our approach exploits the inductive structure of a calling context by treating it directly as a stack of activation records. We then build an abstraction based on separation logic with inductive definitions. A key element of this abstract domain is the use of parameters to refine the meaning of such call stack summaries and thus express relations across activation records and with the heap. In essence, we define an abstract interpretation-based analysis framework for recursive programs that permits a fluid per call site abstraction of the call stack--much like how shape analyzers enable a fluid per program point abstraction of the heap.
Type de document :
Communication dans un congrès
POPL'11 - 38th annual ACM SIGPLAN-SIGACT symposium on Principles Of Programming Languages 2011, Jan 2011, Austin, United States. ACM, pp.173-186, 2011, 〈10.1145/1925844.1926406〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00760421
Contributeur : Xavier Rival <>
Soumis le : lundi 3 décembre 2012 - 20:03:53
Dernière modification le : mardi 24 avril 2018 - 17:20:13
Document(s) archivé(s) le : lundi 4 mars 2013 - 03:54:23

Fichier

popl11-stack.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Collections

Citation

Xavier Rival, Bor-Yuh Evan Chang. Calling Context Abstraction with Shapes. POPL'11 - 38th annual ACM SIGPLAN-SIGACT symposium on Principles Of Programming Languages 2011, Jan 2011, Austin, United States. ACM, pp.173-186, 2011, 〈10.1145/1925844.1926406〉. 〈hal-00760421〉

Partager

Métriques

Consultations de la notice

210

Téléchargements de fichiers

126