Prateek Saxena R. Sekar Varun Puranik Efficient fine-grained binary instrumentationwith applications to taint-tracking. 74-83 2008 CGO http://doi.acm.org/10.1145/1356058.1356069 conf/cgo/2008 db/conf/cgo/cgo2008.html#SaxenaSP08