Member predicate TaintTracking::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, CallContext context)