Monotonic Abstraction for Programs with Multiply-Linked Structures


We investigate the use of monotonic abstraction and backward reachability analysis as means of performing shape analysis on programs with multiply pointed structures. By encoding the heap as a vertexand edge-labeled graph, we can model the low level behaviour exhibited by programs written in the C programming language. Using the notion of signatures, which… (More)
DOI: 10.1007/978-3-642-24288-5_12


4 Figures and Tables

Cite this paper

@inproceedings{Abdulla2011MonotonicAF, title={Monotonic Abstraction for Programs with Multiply-Linked Structures}, author={Parosh Aziz Abdulla and Jonathan Cederberg and Tom{\'a}s Vojnar}, booktitle={RP}, year={2011} }