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

Module StepSummary

Provides predicates for updating step summaries (StepSummarys).

Import path

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

Predicates

callStep

Gets the step summary for a call step.

jumpStep

Gets the step summary for a jump step.

levelStep

Gets the step summary for a level step.

loadStep

Gets the step summary for loading from content.

loadStoreStep

Gets the step summary for loading from load and then storing into store.

returnStep

Gets the step summary for a return step.

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.

storeStep

Gets the step summary for storing into content.

withContent

Gets the step summary for a step that only permits contents matched by filter.

withoutContent

Gets the step summary for a step that blocks contents matched by filter.

Aliases

append

Gets the summary resulting from appending step to type-tracking summary tt.

smallstepCall

Gets the summary that corresponds to having taken a forwards intra-procedural step from nodeFrom to nodeTo.

smallstepNoCall

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

stepCall

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

stepNoCall

Gets the summary that corresponds to having taken a forwards intra-procedural step from nodeFrom to nodeTo.