Debray, S., Muth, R., Weippert, M.,
"Alias analysis of executable code",
Conference record of POPL '98: the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, California, January 1998, ACM Press, pp. 12-24.
13 ;;Quote: link-time pointer alias analysis that handles pointer arithmetic and out-of-bound references; identifies 30-60% of memory reference instructions