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