Efficient field-sensitive pointer analysis of c (2007)

by D J Pearce, P H Kelly, C Hankin
Venue:ACM Trans. Program. Lang. Syst