Member predicate TaintTracking::TaintSource::flowsToSink

Holds if taint can flow from this source to taint sink sink

predicate flowsToSink(TaintSink sink)