Predicate Private::Steps::summaryJumpStep
Holds if there is a jump step from pred to succ, which is synthesized
from a flow summary.
Import path
import codeql.ruby.dataflow.internal.FlowSummaryImplpredicate summaryJumpStep(Node pred, Node succ)Holds if there is a jump step from pred to succ, which is synthesized
from a flow summary.
import codeql.ruby.dataflow.internal.FlowSummaryImplpredicate summaryJumpStep(Node pred, Node succ)