Ju Qian, Baowen Xu, Hongbo Min: Interstatement must aliases for data dependence analysis of heap locations. PASTE 2007: 17-24