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