Trait evmil::AbstractState

pub trait AbstractState: Clone {
    fn is_reachable(&self) -> bool;
    fn transfer(self, insn: &Instruction) -> Self;
    fn branch(&self, target: usize, insn: &Instruction) -> Self;
    fn merge(&mut self, other: Self) -> bool;
    fn peek(&self, n: usize) -> AbstractValue;
    fn bottom() -> Self;
    fn origin() -> Self;
}

An abstract state provides information about the possible states of the EVM at a given point.

Required Methods

fn is_reachable(&self) -> bool

Determines whether a given block is considered reachable or not.

fn transfer(self, insn: &Instruction) -> Self

Apply a given instruction to this state, yielding an updated state.

fn branch(&self, target: usize, insn: &Instruction) -> Self

Apply a given branch to this stage, yielding an updated state at the point of the branch.

fn merge(&mut self, other: Self) -> bool

Merge this state with another, whilst returning a flag indicating whether anything changed.

fn peek(&self, n: usize) -> AbstractValue

Determine value on top of stack

fn bottom() -> Self

Identify bottom value

fn origin() -> Self

Identify origin value

Implementations on Foreign Types

impl AbstractState for ()

fn is_reachable(&self) -> bool

Default implementation indicates everything is reachable.

fn transfer(self, _insn: &Instruction) -> Self

Default implementation does nothing

fn branch(&self, _target: usize, _insn: &Instruction) -> Self

Default implementation does nothing

fn merge(&mut self, _other: Self) -> bool

Default implementation does nothing

fn peek(&self, _n: usize) -> AbstractValue

Does nothing

fn bottom() -> Self

Identify bottom value

fn origin() -> Self

Identify origin value

Implementors

impl AbstractState for CfaState