Atanas Rountev Mariana Sharp Guoqing Xu IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries. 53-68 2008 CC http://dx.doi.org/10.1007/978-3-540-78791-4_4 conf/cc/2008 db/conf/cc/cc2008.html#RountevSX08