Suhabe Bugrara Alex Aiken Verifying the Safety of User Pointer Dereferences. 325-338 2008 IEEE Symposium on Security and Privacy http://doi.ieeecomputersociety.org/10.1109/SP.2008.15 conf/sp/2008 db/conf/sp/sp2008.html#BugraraA08