Module CFG
Provides classes representing the control flow graph.
Import path
import codeql.ruby.CFGImports
| Locations | Provides classes for working with locations. |
Classes
| AnnotatedExitBasicBlock | An annotated exit basic block, that is, a basic block whose last node is an annotated exit node. |
| BasicBlock | A basic block, that is, a maximal straight-line sequence of control flow nodes without branches or joins. |
| CfgNode | A control flow node. |
| CfgScope | An AST node with an associated control-flow graph. |
| ConditionBlock | A basic block that terminates in a condition, splitting the subsequent control flow. |
| EntryBasicBlock | An entry basic block, that is, a basic block whose first node is an entry node. |
| ExitBasicBlock | An exit basic block, that is, a basic block whose last node is an exit node. |
| JoinBlock | A basic block with more than one predecessor. |
| JoinBlockPredecessor | A basic block that is an immediate predecessor of a join block. |
| SuccessorType | The type of a control flow successor. |
Modules
| Split | Provides different kinds of control flow graph splittings. |
| SuccessorTypes | Provides different types of control flow successor types. |