Predicate StepSummary::loadStoreStep
Gets the step summary for loading from load
and then storing into store
.
Import path
import semmle.python.dataflow.new.internal.TypeTracker
StepSummary loadStoreStep(TypeTrackerContent load, TypeTrackerContent store)