Predicate SharedFlowStep::loadStoreStep
Holds if the property loadProp should be copied from the object pred to the property storeProp of object succ.
Import path
import semmle.javascript.dataflow.Configurationpredicate loadStoreStep(Node pred, Node succ, string loadProp, string storeProp)