Trait evmil::analysis::EvmWord

pub trait EvmWord: Sized + Clone + Debug + From<w256> + Concretizable<Item = w256> + PartialEq {
    // Required methods
    fn less_than(self, rhs: Self) -> Self;
    fn equal(self, rhs: Self) -> Self;
    fn is_zero(self) -> Self;
    fn add(self, rhs: Self) -> Self;
    fn sub(self, rhs: Self) -> Self;
    fn mul(self, rhs: Self) -> Self;
    fn div(self, rhs: Self) -> Self;
    fn rem(self, rhs: Self) -> Self;
    fn and(self, rhs: Self) -> Self;
    fn or(self, rhs: Self) -> Self;
    fn xor(self, rhs: Self) -> Self;
    fn not(self) -> Self;
    fn havoc(self) -> Self;
}

Represents the fundamental unit of computation within the EVM, namely a word. This is intentially left abstract, so that it could be reused across both concrete and abstract semantics.

Required Methods

fn less_than(self, rhs: Self) -> Self

fn equal(self, rhs: Self) -> Self

fn is_zero(self) -> Self

fn add(self, rhs: Self) -> Self

fn sub(self, rhs: Self) -> Self

fn mul(self, rhs: Self) -> Self

fn div(self, rhs: Self) -> Self

fn rem(self, rhs: Self) -> Self

fn and(self, rhs: Self) -> Self

fn or(self, rhs: Self) -> Self

fn xor(self, rhs: Self) -> Self

fn not(self) -> Self

fn havoc(self) -> Self

Object Safety

This trait is not object safe.

Implementors

impl EvmWord for aw256

impl EvmWord for cw256