Struct rupta::pta::context_sensitive::ContextSensitivePTA

pub struct ContextSensitivePTA<'pta, 'tcx, 'compilation, S: ContextStrategy> {
    pub call_graph: CSCallGraph,
    /* private fields */
}

Fields

call_graph: CSCallGraph

Call graph

Implementations

impl<'pta, 'tcx, 'compilation, S: ContextStrategy> ContextSensitivePTA<'pta, 'tcx, 'compilation, S>

Constructor

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

pub fn get_context_id(&mut self, context: &Rc<Context<S::E>>) -> ContextId

pub fn get_context_by_id(&self, context_id: ContextId) -> Rc<Context<S::E>>

pub fn get_empty_context_id(&mut self) -> ContextId

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: CSFuncId)

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, 'tcx, 'compilation, S: ContextStrategy> Debug for ContextSensitivePTA<'pta, 'tcx, 'compilation, S>

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

Formats the value using the given formatter.

impl<'pta, 'tcx, 'compilation, S: ContextStrategy> PointerAnalysis<'tcx, 'compilation> for ContextSensitivePTA<'pta, 'tcx, 'compilation, S>

fn analyze(&mut self)

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