Predicate MakeImpl::Impl::Stage1::storeStepCand
Import path
import codeql.dataflow.internal.DataFlowImpl
predicate storeStepCand(NodeEx node1, Content c, NodeEx node2, DataFlowType contentType, DataFlowType containerType)
import codeql.dataflow.internal.DataFlowImpl
predicate storeStepCand(NodeEx node1, Content c, NodeEx node2, DataFlowType contentType, DataFlowType containerType)