CodeQL library for Python
codeql/python-all 1.0.1 (changelog, source)

Member predicate TaintSource::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)