Struct SafetyFlowAnalysis 

pub struct SafetyFlowAnalysis<'tcx> {
    pub tcx: TyCtxt<'tcx>,
    pub units: Vec<SafetyFlowUnit>,
    pub draw: bool,
}

Fields

tcx: TyCtxt<'tcx>

units: Vec<SafetyFlowUnit>

draw: bool

Implementations

impl<'tcx> SafetyFlowAnalysis<'tcx>

pub fn audit_std_unsafe(&mut self)

pub fn render_dot(&mut self)

pub fn get_chains(&mut self)

pub fn get_units_data(&mut self)

pub fn process_def_id( &mut self, def_id: DefId, visited: &mut HashSet<DefId>, unsafe_fn: &mut HashSet<DefId>, )

impl<'tcx> SafetyFlowAnalysis<'tcx>

pub fn new(tcx: TyCtxt<'tcx>) -> Self

pub fn with_draw(self, draw: bool) -> Self

pub fn start(&mut self, ins: TargetCrate)

pub fn insert_upg(&mut self, def_id: DefId)

pub fn display_summary(&self)

Print a human-readable text summary of all safety flow units, grouped by module, similar to callgraph’s output format.

pub fn collect_dots(&self) -> Vec<(String, String)>

Aggregate units into per-module DOT graphs and return them.