Member predicate TaintTracking::TaintedPathSource::flowsTo

Holds if taint can flow from this source to sink sink

predicate flowsTo(TaintedPathSink sink)