Struct evmil::analysis::ConcreteState

pub struct ConcreteState<S, M, T>
where
    S: EvmStack,
    M: EvmMemory<Word = S::Word>,
    T: EvmStorage<Word = S::Word>,
{ /* private fields */ }

An EvmState composed from three distinct (and potentially abstract) components: stack, memory and storage.

Implementations

impl<S, M, T> ConcreteState<S, M, T>

where S: EvmStack + Default, M: EvmMemory<Word = S::Word> + Default, T: EvmStorage<Word = S::Word> + Default,

pub fn new() -> Self

Trait Implementations

impl<S, M, T> Clone for ConcreteState<S, M, T>

where S: EvmStack + Clone, M: EvmMemory<Word = S::Word> + Clone, T: EvmStorage<Word = S::Word> + Clone,

fn clone(&self) -> ConcreteState<S, M, T>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<S, M, T> Debug for ConcreteState<S, M, T>

where S: EvmStack + Debug, M: EvmMemory<Word = S::Word> + Debug, T: EvmStorage<Word = S::Word> + Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<S, M, T> Display for ConcreteState<S, M, T>

where S: EvmStack + Default + Display, M: EvmMemory<Word = S::Word> + Default + Display, T: EvmStorage<Word = S::Word> + Default,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<S, M, T> EvmState for ConcreteState<S, M, T>

where S: EvmStack, M: EvmMemory<Word = S::Word>, T: EvmStorage<Word = S::Word>,

fn goto(&mut self, pc: usize)

Move program counter to a given (byte) offset within the code section.

type Word = <S as EvmStack>::Word

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.

type Stack = S

Defines the stack implementation used in this EVM.

type Memory = M

Defines the memory implementation used in this EVM.

type Storage = T

Defines the memory implementation used in this EVM.

fn pc(&self) -> usize

Get the program counter. Every EvmState has a statically known pc.

fn stack(&self) -> &Self::Stack

Get read access to the operand stack contained within this state.

fn memory(&self) -> &Self::Memory

Get read access to the scratch memory contained within this state.

fn storage(&self) -> &Self::Storage

Get read access to the persistent storage contained within this state.

fn stack_mut(&mut self) -> &mut Self::Stack

Get write access to the operand stack contained within this state.

fn memory_mut(&mut self) -> &mut Self::Memory

Get write access to the scratch memory contained within this state.

fn storage_mut(&mut self) -> &mut Self::Storage

Get write access to the persistent storage contained within this state.

fn skip(&mut self, n: usize)

Move program counter over n bytes in the next instruction.

impl<S, M, T> PartialEq for ConcreteState<S, M, T>

where S: EvmStack + PartialEq, M: EvmMemory<Word = S::Word> + PartialEq, T: EvmStorage<Word = S::Word> + PartialEq,

fn eq(&self, other: &ConcreteState<S, M, T>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<S, M, T> StructuralPartialEq for ConcreteState<S, M, T>

where S: EvmStack, M: EvmMemory<Word = S::Word>, T: EvmStorage<Word = S::Word>,