Shape Analysis for Composite Data Structures

Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter O'Hearn, Thomas Wies, and Hongseok Yang

Abstract

We propose a shape analysis that adapts to some of the complex composite data structures found in industrial systems-level programs. Examples of such data structures include "cyclic doubly-linked lists of acyclic singly-linked lists", "singly-linked lists of cyclic doubly-linked lists with back-pointers to head nodes"

Details

Publication typeTechReport
NumberMSR-TR-2007-13
Pages17
InstitutionMicrosoft Research
PublisherSpringer-Verlag
> Publications > Shape Analysis for Composite Data Structures