Member predicate TaintSource::isSourceOf
Holds if this
is a source of taint kind kind
This must be overridden by subclasses to specify sources of taint.
The smaller this predicate is, the faster Taint.flowsTo()
will converge.
predicate isSourceOf(TaintKind kind)