Struct evmil::bytecode::BlockVec

pub struct BlockVec<'a> { /* private fields */ }

A block decomposition of a given bytecode sequence. This is a non-overlapping decomponsition of single instructions into instruction blocks.

Implementations

impl<'a> BlockVec<'a>

pub fn new(insns: &'a [Instruction]) -> Self

pub fn len(&self) -> usize

Returns the number of blocks within this decomposition.

pub fn insns(&self) -> &'a [Instruction]

Return the underlying instruction sequence for this block vector.

pub fn get(&self, index: usize) -> &'a [Instruction]

Get the ith block within this decomposition.

pub fn lookup_insn(&self, index: usize) -> usize

Determine which block encloses a given instruction (as determined by its instruction offset).

pub fn lookup_pc(&self, pc: usize) -> usize

Determine which block encloses a given instruction (as determined by its byte offset within the original byte sequence).

Trait Implementations

impl<'a> Clone for BlockVec<'a>

fn clone(&self) -> BlockVec<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for BlockVec<'a>

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

Formats the value using the given formatter.

impl<'a> Display for BlockVec<'a>

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

Formats the value using the given formatter.

impl<'a> From<BlockVec<'a>> for BlockGraph<'a>

fn from(blocks: BlockVec<'a>) -> Self

Construct a graph of the basic blocks for a given instruction sequence.

impl<'a> Index<usize> for BlockVec<'a>

fn index(&self, index: usize) -> &'a [Instruction]

Used for indexing operations (e.g. seq[i], etc)

type Output = [Instruction]

The returned type after indexing.

impl<'a> PartialEq for BlockVec<'a>

fn eq(&self, other: &BlockVec<'a>) -> 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<'a> Seq for BlockVec<'a>

type Output = &'a [Instruction]

fn len(&self) -> usize

Returns the number of elements in the sequence, also referred to as its ‘length’.

fn get(&self, index: usize) -> Option<Self::Output>

Returns a reference to an element of this sequence.

fn is_empty(&self) -> bool

Returns true if the sequence contains no elements.

impl<'a> StructuralPartialEq for BlockVec<'a>