Probabilistic Alias Analysis of Executable Code. - Yu-Min Lu; Peng-Sheng Chen (Int. J. Parallel Program., 2011)