Member predicate TaintTracking::TaintSource::flowsToSink

Holds if taint can flow from this source to sink sink

predicate flowsToSink(TaintKind srckind, TaintSink sink)