Predicate SharedFlowStep::storeStep

Holds if pred should be stored in the object succ under the property prop. The object succ must be a DataFlow::SourceNode for the object wherein the value is stored.

Import path

import semmle.javascript.dataflow.Configuration

predicate storeStep(Node pred, SourceNode succ, string prop)