Module Cached

Import path

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

append	Gets the summary resulting from appending `step` to type-tracking summary `tt`.
noContentTypeTracker	Gets a type tracker with no content and the call bit set to the given value.
prepend	Gets the summary resulting from prepending `step` to this type-tracking summary.
smallstepCall
smallstepNoCall
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 heap and/or intra-procedural step from `nodeFrom` to `nodeTo`.

TStepSummary	A description of a step on an inter-procedural data flow path.
TTypeBackTracker
TTypeTracker