Level by level: making flow- and context-sensitive pointer analysis scalable for millions of lines of code.

Hongtao Yu, Jingling Xue, Wei Huo, Xiaobing Feng, Zhaoqing Zhang

Browse the full CGO paper archive.