Trait bytecode::dataflow_analysis::TransferFunctions

pub trait TransferFunctions {
    type State: AbstractDomain + Clone;

    const BACKWARD: bool;

    // Required method
    fn execute(
        &self,
        state: &mut Self::State,
        instr: &Bytecode,
        offset: CodeOffset
    );

    // Provided method
    fn execute_block(
        &self,
        block_id: BlockId,
        state: Self::State,
        instrs: &[Bytecode],
        cfg: &StacklessControlFlowGraph
    ) -> Self::State { ... }
}

Take a pre-state + instruction and mutate it to produce a post-state。

Required Associated Types

type State: AbstractDomain + Clone

Required Associated Constants

const BACKWARD: bool

Required Methods

fn execute(&self, state: &mut Self::State, instr: &Bytecode, offset: CodeOffset)

Provided Methods

fn execute_block( &self, block_id: BlockId, state: Self::State, instrs: &[Bytecode], cfg: &StacklessControlFlowGraph ) -> Self::State

Implementors