CVE-2026-31526

Linux kernel'da aşağıdaki güvenlik açığı giderilmiştir: bpf: alt programlar için istisna çıkış kilit kontrolü düzeltildi process_bpf_exit_full(), check_resource_leak() fonksiyonuna check_lock = !curframe değerini iletir; bu değer, bpf_throw() bir statik alt programdan çağrıldığında yanlıştır (false). Bu durum, check_resource_leak()'in alt programlardan gelen istisna çıkışlarında active_rcu_locks, active_preempt_locks ve active_irq_id doğrulamalarını atlamasına neden olur. Çalışma zamanında bpf_throw(), kullanıcı tarafından edinilen hiçbir kilidi serbest bırakmadan yığını ORC aracılığıyla geri sarar, bu da sonuç olarak çeşitli sorunlara yol açabilir. İstisnalar tüm ara çerçeve temizleme işlemlerini baypas ettiği için, curframe değerinden bağımsız olarak istisna çıkışları için check_lock = true şeklinde ayarlanarak sorun giderilmiştir. İstisna çıkışlarını normal BPF_EXIT'ten ayırt etmek için hata mesajı ön eki "bpf_throw" olarak güncellenmiştir. Daha önce yanlış nedenle başarılı olan reject_subprog_with_rcu_read_lock testi düzeltilmiştir. Test programı, RCU bölümünü kapatmadan doğrudan alt program çağrısından dönüyordu, dolayısıyla hata bpf_throw nedeniyle değil, normal çıkıştaki kapatılmamış RCU kilidi nedeniyle tetikleniyordu. Etkilenen testler için __msg açıklamaları yeni "bpf_throw" hata ön ekine uygun şekilde güncellenmiştir. spin_lock durumu etkilenmemiştir çünkü bunlar zaten bpf_throw çalışmadan önce do_check_insn() içindeki çağrı noktasında [1] kontrol edilmektedir. [1] https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/kernel/bpf/verifier.c?h=v7.0-rc4#n21098