Struct MfpAliasAnalyzer 

pub struct MfpAliasAnalyzer<'tcx> {
    tcx: TyCtxt<'tcx>,
    fn_map: FxHashMap<DefId, FnAliasPairs>,
}

MFP-based alias analyzer

Fields

tcx: TyCtxt<'tcx>

fn_map: FxHashMap<DefId, FnAliasPairs>

Function summaries (alias relationships between arguments and return values)

Implementations

impl<'tcx> MfpAliasAnalyzer<'tcx>

pub fn new(tcx: TyCtxt<'tcx>) -> Self

Create a new MFP alias analyzer

fn get_arg_count(&self, def_id: DefId) -> Option<usize>

Get argument count for a function (returns None if MIR not available)

fn analyze_function( &mut self, def_id: DefId, fn_summaries: &Rc<RefCell<FxHashMap<DefId, FnAliasPairs>>>, )

Analyze a single function

fn collect_reachable_functions( &self, def_id: DefId, reachable: &mut FxHashSet<DefId>, )

Recursively collect all reachable functions with available MIR

Trait Implementations

impl<'tcx> AliasAnalysis for MfpAliasAnalyzer<'tcx>

fn get_fn_alias(&self, def_id: DefId) -> Option<FnAliasPairs>

Return the aliases among the function arguments and return value of a specific function.

fn get_all_fn_alias(&self) -> FnAliasMap

Return the aliases among the function arguments and return value for all functions.

fn get_local_fn_alias(&self) -> FnAliasMap

Return the aliases among the function arguments and return value for functions of the local crate.

impl<'tcx> Analysis for MfpAliasAnalyzer<'tcx>

fn name(&self) -> &'static str

Return the name of the analysis.

fn run(&mut self)

Execute the analysis.

fn reset(&mut self)

Reset the analysis and cleanup the memory.