Support of Probabilistic Pointer Analysis in the SSA Form | IEEE Journals & Magazine | IEEE Xplore