Predicate SharedTypeTrackingStep::loadStoreStep
Holds if type-tracking should step from the loadProp property of pred to the storeProp property in succ.
Import path
import semmle.javascript.dataflow.TypeTrackingpredicate loadStoreStep(Node pred, SourceNode succ, string loadProp, string storeProp)