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

Predicate MakeImpl::Impl::Stage1::revFlow

Holds if node is part of a path from a source to a sink.

The Boolean toReturn records whether the node must be returned from the enclosing callable in order to reach a sink.

Import path

import codeql.dataflow.internal.DataFlowImpl
predicate revFlow(NodeEx node, boolean toReturn)