Trait evmil::analysis::EvmState

source ·

pub trait EvmState: Debug {
    type Word: EvmWord;
    type Stack: EvmStack<Word = Self::Word>;
    type Memory: EvmMemory<Word = Self::Word>;
    type Storage: EvmStorage<Word = Self::Word>;

    // Required methods
    fn pc(&self) -> usize;
    fn stack(&self) -> &Self::Stack;
    fn stack_mut(&mut self) -> &mut Self::Stack;
    fn memory(&self) -> &Self::Memory;
    fn memory_mut(&mut self) -> &mut Self::Memory;
    fn storage(&self) -> &Self::Storage;
    fn storage_mut(&mut self) -> &mut Self::Storage;
    fn skip(&mut self, n: usize);
    fn goto(&mut self, pc: usize);
}

Expand description

Describes the state of an EVM at a given point (which could be running or terminated). In essence, this simply packages all the key components (e.g. stack, memory, storage) of the EVM state together.

An EvmState can be concrete or abstract. For example, a physically executing EVM operates over concrete states which are updated after each executed instruction. In contrast, a static analysis over a sequence of EVM bytecodes produces abstract states at each point which summarise the set of all possible states at that point.

Required Associated Types§

source

type Word: EvmWord

Defines what constitutes a word in this EVM. For example, a concrete evm will use a w256 here whilst an abstract evm will use something that can, for example, describe unknown values.

source