Module StepSummary

Provides predicates for updating step summaries (StepSummarys).

Import path


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

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`.

append	Gets the summary resulting from appending `step` to type-tracking summary `tt`.
localSourceStoreStep	Holds if `nodeFrom` is being written to the `content` of the object in `nodeTo`.
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`.