qtil

advanced-security/qtil-ruby 0.0.2

Module ControlFlowGraphImplSpecific

Import path

import codeql.ruby.controlflow.internal.ControlFlowGraphImplSpecific

Predicates

completionIsNormal	Hold if `c` represents normal evaluation of a statement or an expression.
completionIsSimple	Hold if `c` represents simple (normal) evaluation of a statement or an expression.
completionIsValidFor	Holds if `c` is a valid completion for `e`.
getAMatchingSuccessorType	Gets a successor type that matches completion `c`.
isAbnormalExitType	Holds if `t` is an abnormal exit type out of a CFG scope.
maxSplits	The maximum number of splits allowed for a given node.
scopeFirst	Holds if `first` is first executed when entering `scope`.
scopeLast	Holds if `scope` is exited when `last` finishes with completion `c`.
successorTypeIsSimple	Hold if `c` represents simple (normal) evaluation of a statement or an expression.

Classes

ControlFlowTreeBase

The base class for ControlFlowTree.

Aliases

CfgScope	An AST node with an associated control-flow graph.
Completion	A completion of a statement or an expression.
ControlFlowElement	A node in the abstract syntax tree. This class is the base class for all Ruby program elements.
Location	A location as given by a file, a start line, a start column, an end line, and an end column.
Node	A control flow node.
Split	A split for a control flow node.
SplitKindBase
SuccessorType	The type of a control flow successor.
getCfgScope	Gets the CFG scope of node `n`.