Struct InterproceduralEscapeAnalysis 

pub struct InterproceduralEscapeAnalysis {
    pub function_summaries: HashMap<String, EscapeSummary>,
}

Fields

function_summaries: HashMap<String, EscapeSummary>

Implementations

impl InterproceduralEscapeAnalysis

pub fn new() -> Self

pub fn register_summary( &mut self, func: impl Into<String>, summary: EscapeSummary, )

pub fn get_summary(&self, func: &str) -> Option<&EscapeSummary>

pub fn param_escapes(&self, func: &str, param_idx: u32) -> bool

pub fn function_count(&self) -> usize