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

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)