Refining the Pointer Analysis by Exploiting Constraints on the CFL-Paths.

Xiaoshan Sun, Liang Cheng, Yang Zhang, Yi Deng, Jingbiao Hou

Browse the full APSEC paper archive.