Refining the Pointer Analysis by Exploiting Constraints on the CFL-Paths. - Xiaoshan Sun; Liang Cheng 004; Yang Zhang 021; Yi Deng 002; Jingbiao Hou (APSEC (1), 2013)