Struct solana_libra_bytecode_verifier::control_flow_graph::VMControlFlowGraph

pub struct VMControlFlowGraph {
    pub blocks: BTreeMap<BlockId, BasicBlock>,
}

The control flow graph that we build from the bytecode.

Fields

blocks: BTreeMap<BlockId, BasicBlock>

The basic blocks

Methods

impl VMControlFlowGraph

pub fn display(&self)

Trait Implementations

impl ControlFlowGraph for VMControlFlowGraph

fn num_blocks(&self) -> u16

Return the number of blocks (vertices) in the control flow graph

fn block_id_of_offset(&self, code_offset: CodeOffset) -> Option<BlockId>

Given an offset into the bytecode return the basic block ID that contains that offset

fn block_of_id(&self, block_id: BlockId) -> Option<&BasicBlock>

Given a block ID, return the corresponding basic block. Return None if the block ID is invalid.

fn reachable_from(&self, block_id: BlockId) -> Vec<&BasicBlock>

Given a block ID, return the reachable blocks from that block including the block itself.

fn entry_block_id(&self) -> BlockId

Return the id of the entry block. Note: even a CFG with no instructions has an (empty) entry block.

fn new(code: &[Bytecode]) -> Self

Given a vector of bytecodes, constructs the control flow graph for it.