The technique of alias analysis enables us to determine which memory locations can be accessed via different access paths. But finding objects satisfying aliasing sets is hard. We present a context-sensitive approach to ...