Erratum: Explicit Untainting to Reduce Shadow Memory Usage in Dynamic Taint Analysis. ICCSA (5) 2014