Member predicate DataFlow::SharedTypeTrackingStep::storeStep
Holds if type-tracking should step from pred into the prop property of succ.
predicate storeStep(Node pred, SourceNode succ, string prop)Holds if type-tracking should step from pred into the prop property of succ.
predicate storeStep(Node pred, SourceNode succ, string prop)