EXPLORER : query- and demand-driven exploration of interprocedural control flow properties

This paper describes a general framework and its implementation in a tool called EXPLORER for statically answering a class of interprocedural control flow queries about Java programs. EXPLORER allo...