Predicate MakeImplCommon::Cached::storeEx
Holds if data can flow from node1 to node2 via a direct assignment to
c.
This includes reverse steps through reads when the result of the read has
been stored into, in order to handle cases like x.f1.f2 = y.
Import path
import codeql.dataflow.internal.DataFlowImplCommonpredicate storeEx(NodeEx node1, Content c, NodeEx node2, DataFlowType contentType, DataFlowType containerType)