Simultaneous demand-driven data-flow and call graph analysis | IEEE Conference Publication | IEEE Xplore