Struct binaryninja::basicblock::BasicBlock

pub struct BasicBlock<C: BlockContext> { /* private fields */ }

Implementations

impl<C: BlockContext> BasicBlock<C>

pub fn function(&self) -> Ref<Function>

pub fn arch(&self) -> CoreArchitecture

pub fn iter(&self) -> C::Iter

pub fn raw_start(&self) -> u64

pub fn raw_end(&self) -> u64

pub fn raw_length(&self) -> u64

pub fn incoming_edges(&self) -> Array<Edge<'_, C>>

pub fn outgoing_edges(&self) -> Array<Edge<'_, C>>

pub fn has_undetermined_outgoing_edges(&self) -> bool

pub fn can_exit(&self) -> bool

pub fn index(&self) -> usize

pub fn immediate_dominator(&self) -> Option<Ref<Self>>

pub fn dominators(&self) -> Array<BasicBlock<C>>

pub fn strict_dominators(&self) -> Array<BasicBlock<C>>

pub fn dominator_tree_children(&self) -> Array<BasicBlock<C>>

pub fn dominance_frontier(&self) -> Array<BasicBlock<C>>

Trait Implementations

impl<C: BlockContext> CoreArrayProvider for BasicBlock<C>

type Raw = *mut BNBasicBlock

type Context = C

type Wrapped<'a> = Guard<'a, BasicBlock<C>> where C: 'a

impl<C: Debug + BlockContext> Debug for BasicBlock<C>

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

Formats the value using the given formatter.

impl<C: Hash + BlockContext> Hash for BasicBlock<C>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<'a, C: BlockContext> IntoIterator for &'a BasicBlock<C>

type Item = <C as BlockContext>::Instruction

The type of the elements being iterated over.

type IntoIter = <C as BlockContext>::Iter

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl<C: PartialEq + BlockContext> PartialEq for BasicBlock<C>

fn eq(&self, other: &BasicBlock<C>) -> 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<C: BlockContext> ToOwned for BasicBlock<C>

type Owned = Ref<BasicBlock<C>>

The resulting type after obtaining ownership.

fn to_owned(&self) -> Self::Owned

Creates owned data from borrowed data, usually by cloning.

fn clone_into(&self, target: &mut Self::Owned)

Uses borrowed data to replace owned data, usually by cloning.

impl<C: Eq + BlockContext> Eq for BasicBlock<C>

impl<C: BlockContext> Send for BasicBlock<C>

impl<C: BlockContext> StructuralPartialEq for BasicBlock<C>

impl<C: BlockContext> Sync for BasicBlock<C>