Trait Analysis 

pub trait Analysis {
    // Required method
    fn run(&mut self);
}

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

Required Methods

fn run(&mut self)

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

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

where T: IntervalArithmetic + ConstConvert + Debug,

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 MfpAliasAnalyzer<'tcx>

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

impl<'tcx> Analysis for PathAnalyzer<'tcx>

impl<'tcx> Analysis for PrepareTargets<'tcx>

impl<'tcx> Analysis for ScanAnalysis<'tcx>

impl<'tcx> Analysis for VerifyRun<'tcx>