pub fn uaf_check(
graph: &AliasGraph<'_>,
drop_record: &mut Vec<DropRecord>,
bug_records: &mut BugRecords,
value_idx: usize,
bb_idx: usize,
span: Span,
is_fncall: bool,
)pub fn uaf_check(
graph: &AliasGraph<'_>,
drop_record: &mut Vec<DropRecord>,
bug_records: &mut BugRecords,
value_idx: usize,
bb_idx: usize,
span: Span,
is_fncall: bool,
)