CodeQL library for Ruby
codeql/ruby-all 0.8.15-dev (changelog, source)
Search

Member predicate AdditionalJumpStep::step

Holds if data can flow from pred to succ in a way that discards call contexts.

predicate step(Node pred, Node succ)