CVE-2026-53081

Linux nüvəsində aşağıdakı zəiflik aradan qaldırılıb: bpf: BPF_ADD_CONST skalyarları üçün regsafe baza id ardıcıllığının təmin edilməsi regsafe() hər ikisi BPF_ADD_CONST daşıyan iki skalyar registri müqayisə etdikdə, check_scalar_ids() onların tam mürəkkəb id-sini (yəni base | BPF_ADD_CONST bayrağı) bir idmap girişi kimi xəritələyir. Lakin o, altda yatan baza id-lərinin (bayraq çıxarıldıqda) mövcud idmap xəritələmələri ilə uyğun olduğunu heç vaxt yoxlamır. Bu, elə iki verifikator vəziyyətinin qurulmasına imkan verir ki, burada köhnə vəziyyətdə R3 = R2 + 10 (hər ikisi baza id A-nı paylaşır), cari vəziyyətdə isə R3 = R4 + 10 (R2 ilə əlaqəsi olmayan baza id C) olur. Idmap, A->C-nin A->B ilə ziddiyyət təşkil etdiyini aşkar etmədən iki müstəqil giriş yaradır: A->B (R2 üçün) və A|flag->C|flag (R3 üçün). Nəticədə state pruning yanlış şəkildə uğurlu olur. BPF_ADD_CONST təyin edildikdə baza ID xəritələməsinin ardıcıllığını əlavə olaraq yoxlamaqla bu problem həll edilmişdir: mürəkkəb id-lər xəritələndikdən sonra, baza ID-ləri üzərində də (bayraq bitləri çıxarılmış halda) check_ids() çağırılır. Bu, mənbə registrin müqayisəsi nəticəsində A artıq B-yə xəritələnibsə, istənilən ADD_CONST törəməsinin də əlaqəsiz olan C-dən deyil, B-dən törəməli olduğunu təmin edir.