Cycle elimination for invocation graph-based context-sensitive pointer analysis. - Woongsik Choi; Kwang-Moo Choe (Inf. Softw. Technol., 2011)