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