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

Rakesh Ghiya Laurie J. Hendren Is it a Tree, a DAG, or a Cyclic Graph? A Shape Analysis for Heap-Directed Pointers in C. 1-15 1996 POPL db/conf/popl/popl96.html#GhiyaH96 http://doi.acm.org/10.1145/237721.237724