Trait Analysis

pub trait Analysis {
    // Required methods
    fn name(&self) -> &'static str;
    fn run(&mut self);
    fn reset(&mut self);
}

This is a general trait designed for all program analysis features.

Required Methods

fn name(&self) -> &'static str

Return the name of the analysis.

fn run(&mut self)

Execute the analysis.

fn reset(&mut self)

Reset the analysis and cleanup the memory.

Implementors

impl<'tcx> Analysis for AliasAnalyzer<'tcx>

impl<'tcx> Analysis for ApiDependencyAnalyzer<'tcx>

impl<'tcx> Analysis for CallGraphAnalyzer<'tcx>

impl<'tcx> Analysis for DataFlowAnalyzer<'tcx>

impl<'tcx> Analysis for OwnedHeapAnalyzer<'tcx>

impl<'tcx, T> Analysis for RangeAnalyzer<'tcx, T>

where T: IntervalArithmetic + ConstConvert + Debug,