Struct evmil::analysis::ConcreteMemory

pub struct ConcreteMemory<T: EvmWord + Top> { /* private fields */ }

The next simplest possible implementation of EvmMemory which only manages “concrete” addresses (i.e. it doesn’t perform any symbolic analysis).

Implementations

impl<T: EvmWord + Top> ConcreteMemory<T>

pub fn new() -> Self

Trait Implementations

impl<T: Clone + EvmWord + Top> Clone for ConcreteMemory<T>

fn clone(&self) -> ConcreteMemory<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: EvmWord + Top> Debug for ConcreteMemory<T>

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

Formats the value using the given formatter.

impl<T: EvmWord + Top> Default for ConcreteMemory<T>

fn default() -> Self

Returns the “default value” for a type.

impl<T: EvmWord + Top> Display for ConcreteMemory<T>

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

Formats the value using the given formatter.

impl<T: EvmWord + Top> EvmMemory for ConcreteMemory<T>

type Word = T

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.

fn read(&mut self, address: Self::Word) -> Self::Word

Read a word Get the word at a given location in storage.

fn write(&mut self, address: Self::Word, item: Self::Word)

Write a given value at a given address in memory, expanding memory as necessary.

fn write8(&mut self, address: Self::Word, item: Self::Word)

Write a given value at a given address in memory, expanding memory as necessary.

impl<T: PartialEq + EvmWord + Top> PartialEq for ConcreteMemory<T>

fn eq(&self, other: &ConcreteMemory<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<T: EvmWord + Top> StructuralPartialEq for ConcreteMemory<T>