A taint tracer for Pin