Module BasicBlocks
Provides classes for working with basic blocks.
Import path
import semmle.go.controlflow.BasicBlocksImports
| go | Provides classes for working with Go programs. |
Classes
| BasicBlock | A basic block, that is, a maximal straight-line sequence of control flow nodes without branches or joins. |
| EntryBasicBlock | An entry basic block, that is, a basic block whose first node is an entry node. |
| ReachableBasicBlock | A basic block that is reachable from an entry basic block. |
| ReachableJoinBlock | A reachable basic block with more than one predecessor. |