Struct ControlFlowAnalyzer

pub struct ControlFlowAnalyzer { /* private fields */ }

Control flow analyzer

Implementations

impl ControlFlowAnalyzer

pub fn new(architecture: Architecture) -> Self

Create a new control flow analyzer

pub fn with_config(architecture: Architecture, config: AnalysisConfig) -> Self

Create analyzer with custom configuration

pub fn analyze_binary( &self, binary: &BinaryFile, ) -> Result<Vec<ControlFlowGraph>>

Analyze control flow for all functions in a binary

pub fn analyze_function( &self, binary: &BinaryFile, function: &Function, ) -> Result<ControlFlowGraph>

Analyze control flow for a specific function

pub fn analyze_loops( &mut self, basic_blocks: &mut [BasicBlock], ) -> Result<Vec<Loop>>

Perform enhanced loop analysis

pub fn build_dominator_tree( &mut self, basic_blocks: &mut [BasicBlock], ) -> Result<()>

Build dominator tree for enhanced block classification

pub fn classify_block_types( &mut self, basic_blocks: &mut [BasicBlock], ) -> Result<()>

Classify basic block types based on their role in control flow

Trait Implementations

impl Clone for ControlFlowAnalyzer

fn clone(&self) -> ControlFlowAnalyzer

Returns a duplicate of the value.

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

Performs copy-assignment from source.