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

Predicate TypeTrackingInput::levelStepNoCall

Holds if there is a level step from nodeFrom to nodeTo, which does not depend on the call graph.

Import path

import semmle.python.dataflow.new.internal.TypeTrackingImpl
predicate levelStepNoCall(Node nodeFrom, LocalSourceNode nodeTo)