Interprocedural Pointer Alias Analysis (1999)

by Michael Hind, Michael Burke, Paul Carini, Jong-deok Choi
Venue:ACM Transactions on Programming Languages and Systems