Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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