Struct evmil::evm::Disassembly

pub struct Disassembly<'a, S: Stack> { /* private fields */ }

Identifies all contiguous code blocks within the bytecode program. Here, a block is a sequence of bytecodes terminated by either STOP, REVERT, RETURN or JUMP. Observe that a JUMPDEST can only appear as the first instruction of a block. In fact, every reachable block (except the root block) begins with a JUMPDEST.

Implementations

impl<'a, S> Disassembly<'a, S>where
    S: Clone + Stack + JoinSemiLattice,
    S::Word: JoinLattice + Concretizable<Item = w256>,

pub fn new(bytes: &'a [u8]) -> Self

pub fn get_state(&self, loc: usize) -> Evm<'a, S>

Get the state at a given program location.

pub fn get_enclosing_block(&self, pc: usize) -> &Block

Get the enclosing block for a given bytecode location.

pub fn is_block_reachable(&self, id: usize) -> bool

Determine whether a given block is currently considered reachable or not. Observe the root block (id=0) is always considered reachable.

pub fn read_bytes(&self, start: usize, end: usize) -> Vec<u8>

Read a slice of bytes from the bytecode program, padding with zeros as necessary.

pub fn to_vec(&self) -> Vec<Instruction>

Flattern the disassembly into a sequence of instructions.

impl<'a, S> Disassembly<'a, S>where
    S: Clone + Stack + JoinSemiLattice + Display + Debug,
    S::Word: Concretizable<Item = w256> + JoinLattice,

pub fn build(self) -> Self

Apply flow analysis to refine the results of this disassembly.