Module ControlFlow
Provides classes representing the control flow graph within callables.
Import path
import semmle.code.csharp.controlflow.ControlFlowGraphImports
| SuccessorType | INTERNAL: Do not use. |
Classes
| Node | A control flow node. |
Modules
| BasicBlocks | Provides different types of basic blocks. |
| Nodes | Provides different types of control flow nodes. |
Aliases
| BasicBlock | A basic block, that is, a maximal straight-line sequence of control flow nodes without branches or joins. |