Member predicate TaintedDefinition :: isSourceOf
Holds if this is a source of taint kind kind for the given context.
Generally, this should not need to be overridden; overriding isSourceOf(kind) should be sufficient.
The smaller this predicate is, the faster Taint.flowsTo() will converge.
predicate
isSourceOf
(
TaintKind
kind
,
TaintTrackingContext
context
)