Is it a Tree, a DAG, or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C.

Rakesh Ghiya, Laurie J. Hendren

Browse the full POPL paper archive.