Predicate CachedSteps::returnedPropWrite

Holds if f may return base, which has a write of property prop with right-hand side rhs.

Import path

import semmle.javascript.dataflow.internal.FlowSteps
predicate returnedPropWrite(Function f, SourceNode base, string prop, Node rhs)