Concrete Memory Models for Shape Analysis - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Concrete Memory Models for Shape Analysis

Résumé

This paper discusses four store-based concrete memory models. We characterize memory models by the class of pointers they support and whether they use numerical or symbolic offsets to address values in a block. We give the semantics of a C-like language within each of these memory models to illustrate their differences. The language we consider is a fragment of Leroy's Clight, including arrays, pointer arithmetics but excluding casts. All along the paper, we link these concrete memory models with existing shape analyses.

Dates et versions

hal-00786330 , version 1 (08-02-2013)

Identifiants

Citer

Pascal Sotin, Bertrand Jeannet, Xavier Rival. Concrete Memory Models for Shape Analysis. NSAD'2010 - Second International Workshop on Numerical and Symbolic Abstract Domains, Sep 2010, Perpignan, France. pp.139--150, ⟨10.1016/j.entcs.2010.09.012⟩. ⟨hal-00786330⟩
125 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More