Member predicate TaintTracking::TaintedNode::flowsToSink

Holds if taint flows from this node to the sink sink and reaches with a taint that sink is a sink of.

predicate flowsToSink(TaintSink sink)