Struct InterProceduralAnalysis 

pub struct InterProceduralAnalysis {
    pub call_graph: CallGraph,
    pub summaries: HashMap<String, FunctionSummary>,
    pub closure_registry: ClosureRegistry,
    /* private fields */
}

Main inter-procedural analysis engine

Fields

call_graph: CallGraph

Call graph

summaries: HashMap<String, FunctionSummary>

Computed function summaries

closure_registry: ClosureRegistry

Closure registry for tracking closures and captures

Implementations

impl InterProceduralAnalysis

pub fn new(package: &MirPackage) -> Result<Self>

Create a new inter-procedural analysis with default configuration

pub fn with_config(package: &MirPackage, config: IpaConfig) -> Result<Self>

Create a new inter-procedural analysis with custom configuration

pub fn analyze(&mut self, package: &MirPackage) -> Result<()>

Analyze all functions and generate summaries

pub fn get_summary(&self, function_name: &str) -> Option<&FunctionSummary>

Get summary for a function

pub fn print_statistics(&self)

Print summary statistics

pub fn detect_inter_procedural_flows( &self, package: &MirPackage, ) -> Vec<TaintPath>

Detect inter-procedural taint flows (cached after first call)