Module checks 

Functions

check_drop_status

clear_drop_info

clear_father_drop 🔒

clear_field_drop 🔒

fetch_drop_from_alias 🔒

fetch_drop_from_bottom 🔒

fetch_drop_from_pointee 🔒

fetch_drop_from_pts_fields 🔒

fetch_drop_from_top 🔒

fetch_drop_info 🔒

get_alias_set 🔒

make_bug

push_drop_bottom_up 🔒

push_drop_info

push_drop_through_move 🔒

push_drop_top_down 🔒

rate_confidence 🔒

sync_drop_record

Extends drop_record to match graph.values.len(). For each new index, if the value has a father, copies from the father’s drop_record; otherwise creates a false_record.

uaf_check