Predicate CachedSteps::propertyFlowStep

Holds if there is a flow step from pred to succ through an object property.

Import path

import semmle.javascript.dataflow.internal.FlowSteps
predicate propertyFlowStep(Node pred, Node succ)