Saumya K. Debray Robert Muth Matthew Weippert Alias Analysis of Executable Code. 12-24 1998 POPL http://doi.acm.org/10.1145/268946.268948 db/conf/popl/popl98.html#DebrayMW98