An Incremental Points-to Analysis with CFL-Reachability.

Yi Lu, Lei Shang, Xinwei Xie, Jingling Xue

Browse the full CC paper archive.