Michael Hind Pointer analysis: haven't we solved this problem yet? 54-61 2001 conf/paste/2001 PASTE http://doi.acm.org/10.1145/379605.379665 db/conf/paste/paste2001.html#Hind01