CVE-2024-47794

Linux kernel içerisinde aşağıdaki güvenlik açığı giderilmiştir: bpf: freplace kaynaklı sonsuz tailcall döngüsünü önleme Tail call ve freplace kombinasyonu kullanıldığında ortaya çıkabilecek potansiyel bir sonsuz döngü sorunu bulunmaktadır. Yaklaşan bir selftest'te, tailcall_freplace.c dosyasındaki entry_freplace için ekleme hedefi tc_bpf2bpf.c dosyasındaki subprog_tc iken, entry_freplace içindeki tail call ise entry_tc'ye yönlendirmektedir. Bu durum şu şekilde bir sonsuz döngü ile sonuçlanmaktadır: entry_tc -> subprog_tc -> entry_freplace --tailcall-> entry_tc. Sorun, entry_freplace içindeki tail_call_cnt değerinin her entry_freplace yürütüldüğünde sıfırlanmasından kaynaklanmakta; bu da tail call mekanizmasının asla sonlanmamasına ve nihayetinde kernel panic oluşmasına yol açmaktadır. Bu sorunu gidermek için iki aşamalı bir çözüm uygulanmıştır: 1. Bir freplace programı tarafından genişletilen bir programın prog_array haritasına güncellenmesi engellenmiştir. 2. Halihazırda bir prog_array haritasının parçası olan bir programın freplace programı ile genişletilmesi engellenmiştir. Bu sayede şunlar sağlanmıştır: * Eğer bir program veya alt programı bir freplace programı tarafından genişletilmişse, artık bir prog_array haritasına güncellenemez. * Eğer bir program bir prog_array haritasına eklenmişse, ne kendisi ne de alt programları bir freplace programı tarafından genişletilemez. Ayrıca, bir genişletme programı tailcall ile çağrılmamalıdır. Bu nedenle, bir program prog_array haritasına eklenirken tipi BPF_PROG_TYPE_EXT ise -EINVAL döndürülür. Ek olarak, uygun biçimlendirme için sekiz boşluk sekme (tab) ile değiştirilerek küçük bir kod stili sorunu düzeltilmiştir.