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.

fn get_local_origins(&self, _def_id: DefId) -> LocalOriginMap

Return the intra-procedural local → origin mapping for a function. Default returns empty; analyser implementations may override with cached or MoP-based results.

fn get_self_field_origin( &self, _def_id: DefId, _local: usize, _fields: &[usize], ) -> Option<FieldOrigin>

If a place (local + field projections) in a method body resolves to a struct’s self.field, return the field identity.

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

fn run(&mut self)