Navindra Umanee. Points-to analysis using bdds (2003)

by Marc Berndl, Ondrej Lhoták, Feng Qian, Laurie Hendren
Venue:In PLDI ’03