Predicate CachedSteps::basicLoadStep
Holds if there is a load step from pred
to succ
under property prop
,
that is, succ
is a read of property prop
from pred
.
Import path
import semmle.javascript.dataflow.internal.FlowSteps
predicate basicLoadStep(Node pred, PropRead succ, string prop)