fn df_uaf_detail( bug: &TyBug, drop_local: &str, trigger_local: &str, drop_bb: &str, trigger_bb: &str, ) -> String