Fyi, NCC Group conducted a BPF verifier audit and today published their report. This work was sponsored by the eBPF foundation. Please find the public report here: https://www.nccgroup.com/media/4lilthtf/ncc_group_nccgroup_e015561_report_2024-11-11_v10.pdf Thanks, Daniel