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

Predicate jumpStep

Holds if pred can flow to succ, by jumping from one callable to another. Additional steps specified by the configuration are not taken into account.

Import path

import semmle.python.dataflow.new.internal.DataFlowPrivate
predicate jumpStep(Node nodeFrom, Node nodeTo)