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

Module StepSummary

Provides predicates for updating step summaries (StepSummarys).

Import path

import semmle.python.dataflow.new.internal.TypeTracker

Predicates

smallstep

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

step

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

Aliases

localSourceStoreStep

Holds if nodeFrom is being written to the content of the object in nodeTo.