Predicate Cached::jumpStepImpl

Holds if pred can flow to succ, by jumping from one callable to another. Additional steps specified by the configuration are not taken into account.

Import path

import semmle.code.csharp.dataflow.internal.DataFlowPrivate
predicate jumpStepImpl(ExprNode pred, ExprNode succ)