Efficient fine-grained binary instrumentationwith applications to taint-tracking. - Prateek Saxena; R. Sekar 001; Varun Puranik (CGO, 2008)