TaintTracer: Added support for tracing multiple taints