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

Predicate StepSummary::smallstep

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

Unlike StepSummary::step, this predicate does not compress type-preserving steps.

Import path

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