Predicate MakeImplStage1::ImplStage1::jumpStepEx1
Holds if data can flow from node1 to node2 in a way that discards call contexts.
Import path
import codeql.dataflow.internal.DataFlowImplStage1predicate jumpStepEx1(NodeEx node1, NodeEx node2)Holds if data can flow from node1 to node2 in a way that discards call contexts.
import codeql.dataflow.internal.DataFlowImplStage1predicate jumpStepEx1(NodeEx node1, NodeEx node2)