EXPLORER: Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties

Yu Feng, Xinyu Wang, Isil Dillig, Calvin Lin