Predicate Cached::storeStepImpl

Holds if data can flow from node1 to node2 via an assignment to content c.

Import path

import semmle.code.csharp.dataflow.internal.DataFlowPrivate
predicate storeStepImpl(Node node1, Content c, Node node2)