Struct BugRecords 

pub struct BugRecords {
    pub df_bugs: FxHashMap<usize, TyBug>,
    pub df_bugs_unwind: FxHashMap<usize, TyBug>,
    pub uaf_bugs: FxHashMap<usize, TyBug>,
    pub dp_bugs: FxHashMap<usize, TyBug>,
    pub dp_bugs_unwind: FxHashMap<usize, TyBug>,
}

Fields

df_bugs: FxHashMap<usize, TyBug>

df_bugs_unwind: FxHashMap<usize, TyBug>

uaf_bugs: FxHashMap<usize, TyBug>

dp_bugs: FxHashMap<usize, TyBug>

dp_bugs_unwind: FxHashMap<usize, TyBug>

Implementations

impl BugRecords

pub fn new() -> BugRecords

pub fn is_bug_free(&self) -> bool

pub fn df_bugs_output<'tcx>( &self, body: &Body<'tcx>, fn_name: Symbol, span: Span, )

pub fn uaf_bugs_output<'tcx>( &self, body: &Body<'tcx>, fn_name: Symbol, span: Span, )

pub fn dp_bug_output<'tcx>( &self, body: &Body<'tcx>, fn_name: Symbol, span: Span, )

fn emit_bug_reports<'tcx, F>( &self, body: &Body<'tcx>, bugs: &FxHashMap<usize, TyBug>, fn_name: Symbol, span: Span, log_msg: &str, title: &str, detail_formatter: F, )

where F: Fn(&TyBug, &str, &str, &str, &str) -> String,

Trait Implementations

impl Debug for BugRecords

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.