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

Predicate StepSummary::step

Gets the summary that corresponds to having taken a forwards heap and/or inter-procedural step from nodeFrom to nodeTo.

Import path

import semmle.python.dataflow.new.internal.TypeTracker
predicate step(TypeTrackingNode nodeFrom, TypeTrackingNode nodeTo, StepSummary summary)