Struct evmil::CfaState

pub struct CfaState { /* private fields */ }

Implementations

impl CfaState

pub fn new(stack: AbstractStack) -> Self

pub fn is_bottom(&self) -> bool

pub fn len(&self) -> Interval

pub fn push(self, val: AbstractValue) -> Self

pub fn pop(self, n: usize) -> Self

pub fn set(self, n: usize, val: AbstractValue) -> Self

Trait Implementations

impl AbstractState for CfaState

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

Update an abstract state with the effects of a given instruction.

fn is_reachable(&self) -> bool

Determines whether a given block is considered reachable or not.

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

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

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

Determine value on top of stack

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

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

fn bottom() -> Self

Identify bottom value

fn origin() -> Self

Identify origin value

impl Clone for CfaState

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CfaState

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

Formats the value using the given formatter.

impl Display for CfaState

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

Formats the value using the given formatter.

impl PartialEq<CfaState> for CfaState

fn eq(&self, other: &CfaState) -> 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 StructuralPartialEq for CfaState