[−][src]Module solana_libra_bytecode_verifier::control_flow_graph
This module defines the control-flow graph uses for bytecode verification.
Structs
| BasicBlock | A basic block |
| VMControlFlowGraph | The control flow graph that we build from the bytecode. |
Traits
| ControlFlowGraph | A trait that specifies the basic requirements for a CFG |
Type Definitions
| BlockId |