Alias Analysis of Executable Code. - Saumya K. Debray; Robert Muth; Matthew Weippert (POPL, 1998)