Is it a tree, a DAG, or a cyclic graph? a shape analysis for heap-directed pointers in c (1996)

by Rakesh Ghiya, Laurie J Hendren
Venue:St. Petersburg Beach, Florida, United States