Struct rupta::pta::andersen::AndersenPTA

pub struct AndersenPTA<'pta, 'tcx, 'compilation> {
    pub call_graph: CallGraph<FuncId, BaseCallSite>,
    /* private fields */
}

Fields

call_graph: CallGraph<FuncId, BaseCallSite>

Call graph

Implementations

impl<'pta, 'tcx, 'compilation> AndersenPTA<'pta, 'tcx, 'compilation>

Constructor

pub fn new(acx: &'pta mut AnalysisContext<'tcx, 'compilation>) -> Self

pub fn initialize(&mut self)

Initialize the analysis.

pub fn propagate(&mut self)

Solve the worklist problem using Propagator.

pub fn add_fpag_edges(&mut self, func_id: FuncId)

Adds internal edges of a function pag to the whole program’s pag. The function pag for the given def_id should be built before calling this function.

pub fn get_pt_data(&self) -> &DiffPTDataTy

pub fn finalize(&self)

Finalize the analysis.

Trait Implementations

impl<'pta, 'compilation, 'tcx> Debug for AndersenPTA<'pta, 'compilation, 'tcx>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'pta, 'tcx, 'compilation> PointerAnalysis<'tcx, 'compilation> for AndersenPTA<'pta, 'tcx, 'compilation>

fn analyze(&mut self)

Analyze the crate currently being compiled, using the information given in compiler and tcx.