Member predicate TaintTrackingImplementation::flowStep
Hold if taint flows to src to (node, context, path, kind) in a single step, labelled with edgeLabel with this configuration.
edgeLabel is purely informative.
predicate flowStep(TaintTrackingNode src, Node node, TaintTrackingContext context, AttributePath path, TaintKind kind, string edgeLabel)