Predicate MakeImplCommon::Cached::localFlowStepExImpl
Holds if data can flow in one local step from node1
to node2
.
Import path
import codeql.dataflow.internal.DataFlowImplCommon
predicate localFlowStepExImpl(NodeEx node1, NodeEx node2, string model)