Member predicate TaintTrackingImplementation::parameterStep
predicate parameterStep(TaintTrackingNode src, Node node, TaintTrackingContext context, AttributePath path, TaintKind kind, string edgeLabel)
predicate parameterStep(TaintTrackingNode src, Node node, TaintTrackingContext context, AttributePath path, TaintKind kind, string edgeLabel)