Predicate TypeTrackingInput::loadStoreStep
Holds if the loadContent
of nodeFrom
is stored in the storeContent
of nodeTo
.
Import path
import codeql.ruby.typetracking.internal.TypeTrackingImpl
predicate loadStoreStep(Node nodeFrom, Node nodeTo, Content loadContent, Content storeContent)