Module BasicBlocks
Provides classes representing basic blocks.
Import path
import semmle.code.csharp.controlflow.BasicBlocks
Imports
| csharp |
The default C# QL library. |
Classes
| AnnotatedExitBasicBlock |
An annotated exit basic block, that is, a basic block that contains an annotated exit node. |
| BasicBlock |
A basic block, that is, a maximal straight-line sequence of control flow nodes without branches or joins. |
| 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 the entry node of a callable. |
| ExitBasicBlock |
An exit basic block, that is, a basic block whose last node is the exit node of a callable. |
| JoinBlock |
A basic block with more than one predecessor. |
| JoinBlockPredecessor |
A basic block that is an immediate predecessor of a join block. |