Member predicate TaintTrackingImplementation::flowStep
Hold if taint flows to src to dest in a single step, labeled with edgeLabel
edgeLabel is purely informative.
predicate flowStep(TaintTrackingNode src, TaintTrackingNode dest, string edgeLabel)