TaintChecker replaced to return taint of argument