Erik Ruf Context-Insensitive Alias Analysis Reconsidered. 13-22 1995 PLDI db/conf/pldi/pldi95.html#Ruf95