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

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 )