Predicate SharedTypeTrackingStep::storeStep
Holds if type-tracking should step from pred into the prop property of succ.
Import path
import semmle.javascript.dataflow.TypeTrackingpredicate storeStep(Node pred, SourceNode succ, string prop)Holds if type-tracking should step from pred into the prop property of succ.
import semmle.javascript.dataflow.TypeTrackingpredicate storeStep(Node pred, SourceNode succ, string prop)