Slide 1 Efficient Field-Sensitive Pointer Analysis for C David J. Pearce, Paul H.J. Kelly and Chris Hankin Imperial College, London, UK [email protected] www.doc.ic.ac.uk/~djp1/…