corrected memory taint analysis