A race problem is found in the ebpf verifier between bpf_map_update_elem and bpf_map_freeze due to a missing lock in kernel/bpf/syscall.c. In this flaw, a local user with a special privilege (cap_sys_admin or cap_bpf) can modify the frozen mapped address space.
Reference and upstream patch:
Created kernel tracking bugs for this issue:
Affects: fedora-all [bug 2025646]