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