Dinakar Dhurjati Manuvir Das Yue Yang Path-Sensitive Dataflow Analysis with Iterative Refinement. 425-442 2006 conf/sas/2006 SAS http://dx.doi.org/10.1007/11823230_27 db/conf/sas/sas2006.html#DhurjatiDY06