Flexible pointer analysis using Assign-Fetch GraphsMarcio BussDaniel Brandet al.2008SAC 2008Conference paper