Feng, et al.. EXPLORER : Query- and Demand-driven Exploration of Interprocedural Control Flow Properties. no. 10, Association for Computing Machinery (ACM), Oct. 2015, doi:10.1145/2858965.2814284.