Member predicate TaintTrackingImplementation::flowSource
Hold if node is a source of taint kind with context context and attribute path path.
predicate flowSource(Node node, TaintTrackingContext context, AttributePath path, TaintKind kind)Hold if node is a source of taint kind with context context and attribute path path.
predicate flowSource(Node node, TaintTrackingContext context, AttributePath path, TaintKind kind)