Ana Milanova Light context-sensitive points-to analysis for java. 25-30 2007 conf/paste/2007 PASTE http://doi.acm.org/10.1145/1251535.1251540 db/conf/paste/paste2007.html#Milanova07