CVE-2024-47794

Linux kernel-də aşağıdakı zəiflik aradan qaldırılıb: bpf: freplace tərəfindən törədilən sonsuz tailcall dövrünün qarşısının alınması Tail call və freplace kombinasiyasından istifadə edildikdə potensial sonsuz dövr problemi yarana bilər. Yaxın gələcəkdəki selftest-də, tailcall_freplace.c faylının entry_freplace üçün qoşulma hədəfi tc_bpf2bpf.c faylının subprog_tc funksiyasıdır, halbuki entry_freplace daxilindəki tail call entry_tc-yə yönəlir. Bu, sonsuz dövrə səbəb olur: entry_tc -> subprog_tc -> entry_freplace --tailcall-> entry_tc. Problem ondan qaynaqlanır ki, entry_freplace hər dəfə icra olunduqda onun içindəki tail_call_cnt sıfırlanır, bu da tail call mexanizminin heç vaxt dayanmamasına və nəticədə kernel panic-ə səbəb olur. Bu problemin həlli iki mərhələdən ibarətdir: 1. freplace proqramı ilə genişləndirilmiş bir proqramın prog_array xəritəsinə yenilənməsinin qarşısını almaq. 2. Artıq prog_array xəritəsinin hissəsi olan bir proqramın freplace proqramı ilə genişləndirilməsinin qarşısını almaq. Bu, aşağıdakıları təmin edir: * Əgər bir proqram və ya onun altproqramı freplace proqramı ilə genişləndirilibsə, o artıq prog_array xəritəsinə yenilənə bilməz. * Əgər bir proqram prog_array xəritəsinə əlavə edilibsə, nə həmin proqram, nə də onun altproqramları freplace proqramı ilə genişləndirilə bilməz. Bundan əlavə, genişləndirmə proqramına tailcall edilməməlidir. Buna görə də, proqram prog_array xəritəsinə əlavə edilərkən tipi BPF_PROG_TYPE_EXT olarsa, -EINVAL qaytarılmalıdır. Həmçinin, düzgün formatlama üçün səkkiz boşluğun tab ilə əvəzlənməsi yolu ilə kiçik bir kod stil problemi düzəldilib.