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