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)