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