Alexey Loginov Eran Yahav Satish Chandra Stephen Fink Noam Rinetzky Mangala Gowri Nanda Verifying dereference safety via expanding-scope analysis. 213-224 2008 ISSTA http://doi.acm.org/10.1145/1390630.1390657 conf/issta/2008 db/conf/issta/issta2008.html#LoginovYCFRN08