An Incremental Points-to Analysis with CFL-Reachability

Yi Lu 0003, Lei Shang, Xinwei Xie, Jingling Xue. An Incremental Points-to Analysis with CFL-Reachability. In Ranjit Jhala, Koen De Bosschere, editors, Compiler Construction - 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Volume 7791 of Lecture Notes in Computer Science, pages 61-81, Springer, 2013. [doi]

Abstract

Abstract is missing.