Predicate CachedSteps::basicStoreStep

Holds if there is a store step from pred to succ under property prop, that is, succ is the local source of the base of a write of property prop with right-hand side pred.

For example, for this code snippet:

var a = new A();
a.p = e;

there is a store step from e to new A() under property prop.

As a special case, if the base of the property write is a global variable, then there is a store step from the right-hand side of the write to any read of the same property from the same global variable in the same file.

Import path

import semmle.javascript.dataflow.internal.FlowSteps
predicate basicStoreStep(Node pred, Node succ, string prop)