codeql/python-all
4.0.3-dev
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
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.
pred
succ
predicate jumpStep(Node nodeFrom, Node nodeTo)