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

Member predicate TaintTracking::Configuration::isBarrierEdge

Holds if flow from src to dest is prohibited when the incoming taint is srckind and the outgoing taint is destkind. Note that srckind and destkind can be the same.

predicate isBarrierEdge(Node src, Node dest, TaintKind srckind, TaintKind destkind)