Member predicate TaintSource::flowsToSink
Holds if taint can flow from this source to sink sink
predicate flowsToSink(TaintKind srckind, TaintSink sink)
Holds if taint can flow from this source to sink sink
predicate flowsToSink(TaintKind srckind, TaintSink sink)