taint tracer for Pin