Interprocedural pointer alias analysis (1999)

by M HIND, M BURKE, P CARINI, J-D CHOI
Venue:ACM Transactions on Programming Languages and Systems