Predicate TypeTrackingInput::loadStoreStep
Holds if the loadContent
of nodeFrom
is stored in the storeContent
of nodeTo
.
Import path
import semmle.python.dataflow.new.internal.TypeTrackingImpl
predicate loadStoreStep(Node nodeFrom, Node nodeTo, Content loadContent, Content storeContent)