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)