Trait rupta::pta::PointerAnalysis

pub trait PointerAnalysis<'tcx, 'compilation> {
    // Required method
    fn analyze(&mut self);
}

Required Methods

fn analyze(&mut self)

Implementors

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

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