Dzintars Avots Michael Dalton V. Benjamin Livshits Monica S. Lam Improving software security with a C pointer analysis. 332-341 2005 conf/icse/2005 ICSE http://doi.acm.org/10.1145/1062455.1062520 db/conf/icse/icse2005.html#AvotsDLL05