Output taint propagation