We consider interprocedural data-flow analysis as formalized by the standard IFDS framework, which can express many widely-used static analyses such reaching definitions, live variables, and null-pointer. focus on well-studied on-demand setting in queries arrive one-by-one a stream each query should be answered fast possible. While classical algorithm provides polynomial-time solution for this ...