Call-Graph-Based Context-Sensitive Points-to Analysis for Java | IEEE Journals & Magazine | IEEE Xplore