Struct SenryxCheck

pub struct SenryxCheck<'tcx> {
    pub tcx: TyCtxt<'tcx>,
    pub threshhold: usize,
    pub global_recorder: HashMap<DefId, InterAnalysisRecord<'tcx>>,
}

Fields

tcx: TyCtxt<'tcx>

threshhold: usize

global_recorder: HashMap<DefId, InterAnalysisRecord<'tcx>>

Implementations

impl<'tcx> SenryxCheck<'tcx>

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

pub fn start(&mut self, check_level: CheckLevel, is_verify: bool)

pub fn filter_by_check_level( tcx: TyCtxt<'tcx>, check_level: &CheckLevel, def_id: DefId, ) -> bool

pub fn check_soundness(&mut self, def_id: DefId, fn_map: &FnMap)

pub fn annotate_safety(&self, def_id: DefId)

pub fn body_visit_and_check( &mut self, def_id: DefId, fn_map: &FnMap, ) -> Vec<CheckResult>

pub fn body_visit_and_check_uig(&self, def_id: DefId)

pub fn get_annotation(&self, def_id: DefId) -> HashSet<String>

pub fn show_check_results( tcx: TyCtxt<'tcx>, def_id: DefId, check_results: Vec<CheckResult>, )

pub fn show_annotate_results( tcx: TyCtxt<'tcx>, def_id: DefId, annotation_results: HashSet<String>, )