Struct falcon::translator::BlockTranslationResult

pub struct BlockTranslationResult { /* fields omitted */ }

The result of translating a block from a native architecture.

Native blocks translated to ControlFlowGraph

While a block on the native architecture may be a linear sequence of instructions, when lifted this block may actually contain loops, conditionally executed instructions, and a host of other oddness. Translators therefor return a ControlFlowGraph for the translation of a block. The entry and exit for this ControlFlowGraph should be set.

Methods

impl BlockTranslationResult

pub fn new(
    instructions: Vec<(u64, ControlFlowGraph)>,
    address: u64,
    length: usize,
    successors: Vec<(u64, Option<Expression>)>
) -> BlockTranslationResult

Create a new BlockTranslationResult.

Parameters

• instructions - A Vec of address/ControlFlowGraph pairs, one per instruction.
• address - The address where this block was lifted.
• length - The length of the block in bytes.
• successors - Tuples of addresses and optional conditions for successors to this block.

pub fn instructions(&self) -> &Vec<(u64, ControlFlowGraph)>

Get the ControlFlowGraph for this BlockTranslationResult

pub fn address(&self) -> u64

Get the address wherefrom this block was translated.

pub fn length(&self) -> usize

Get the length of this block in bytes.

pub fn successors(&self) -> &Vec<(u64, Option<Expression>)>

Get the successors for this block.

pub fn blockify(&self) -> Result<ControlFlowGraph>

Return a single ControlFlowGraph for this block

Trait Implementations

impl Clone for BlockTranslationResult

fn clone(&self) -> BlockTranslationResult

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BlockTranslationResult

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

Formats the value using the given formatter.