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.FlowStepspredicate returnedPropWrite(Function f, SourceNode base, string prop, Node rhs)