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

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)