CVE-2026-31526

Linux kernel-də aşağıdakı zəiflik aradan qaldırılıb: bpf: altproqramlar üçün istisna çıxış kilidinin yoxlanılması düzəldildi process_bpf_exit_full() funksiyası check_resource_leak() funksiyasına check_lock = !curframe parametrini ötürür və bpf_throw() statik altproqramdan çağırıldıqda bu dəyər yanlış olur. Bu, check_resource_leak() funksiyasının altproqramlardan istisna çıxışları zamanı active_rcu_locks, active_preempt_locks və active_irq_id yoxlamalarını ötürməsinə səbəb olur. İcra zamanı bpf_throw() istifadəçi tərəfindən əldə edilmiş heç bir kilidi azad etmədən ORC vasitəsilə stekləri geri qaytarır ki, bu da nəticədə müxtəlif problemlərə yol aça bilər. İstisnalar bütün ara kadr təmizlənmələrini yan keçdiyi üçün, curframe-dən asılı olmayaraq istisna çıxışları üçün check_lock = true təyin edilməklə problem həll edilib. İstisna çıxışlarını normal BPF_EXIT-dən fərqləndirmək üçün xəta mesajının prefiksi "bpf_throw" olaraq yenilənib. Əvvəllər yanlış səbəbdən uğurlu tamamlanan reject_subprog_with_rcu_read_lock testi düzəldildi. Test proqramı RCU bölməsini bağlamadan birbaşa altproqram çağırışından geri dönürdü, buna görə də xəta bpf_throw tərəfindən deyil, normal çıxış zamanı bağlanmamış RCU kilidi tərəfindən tetiklenirdi. Təsirə məruz qalan testlər üçün __msg annotasiyaları yeni "bpf_throw" xəta prefiksinə uyğunlaşdırıldı. spin_lock halına təsir etmir, çünki onlar artıq bpf_throw işə düşməzdən əvvəl do_check_insn()-də çağırış nöqtəsində yoxlanılır [1]. [1] https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/kernel/bpf/verifier.c?h=v7.0-rc4#n21098