Teck Bok Tok Samuel Z. Guyer Calvin Lin Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers. 17-31 2006 conf/cc/2006 CC http://dx.doi.org/10.1007/11688839_3 db/conf/cc/cc2006.html#TokGL06