Weihaw Chuang Satish Narayanasamy Brad Calder Ranjit Jhala Bounds Checking with Taint-Based Analysis. 71-86 2007 conf/hipeac/2007 HiPEAC http://dx.doi.org/10.1007/978-3-540-69338-3_6 db/conf/hipeac/hipeac2007.html#ChuangNCJ07