Class AliasAnalysis

src/analysis/pointsto/mod.rs:708–712

Alias analysis based on points-to info. It answers if two memory cells alias with each other. It performs an underlying points-to analysis if needed. The points-to info will be cached into `pts` for future queries.

/// It performs an underlying points-to analysis if needed.
/// The points-to info will be cached into `pts` for future queries.
pub struct AliasAnalysis<'a, 'tcx> {
    tcx: TyCtxt<'tcx>,
    callgraph: &'a CallGraph<'tcx>,
    pts: FxHashMap<DefId, PointsToMap<'tcx>>,
}

impl<'a, 'tcx> AliasAnalysis<'a, 'tcx> {
    pub fn new(tcx: TyCtxt<'tcx>, callgraph: &'a CallGraph<'tcx>) -> Self {