CVE-2026-31525

Linux nüvəsində aşağıdakı zəiflik aradan qaldırılıb: bpf: interpretatorun INT_MIN üçün sdiv/smod əməliyyatlarında təyin olunmamış davranışın düzəldilməsi BPF interpretatorunun imzalı 32-bit bölmə və qalıq (modulo) idarəediciləri s32 operandları üzərində nüvənin abs() makrosundan istifadə edir. abs() makrosunun sənədlərində (include/linux/math.h) giriş dəyəri tipin minimumu olduqda nəticənin təyin olunmamış olduğu açıq şəkildə qeyd edilmişdir. DST S32_MIN (0x80000000) dəyərini ehtiva etdikdə, abs((s32)DST) təyin olunmamış davranışı tetikləyir və arm64/x86 platformalarında S32_MIN dəyərini dəyişməzdən qaytarır. Bu dəyər daha sonra u64 olaraq 0xFFFFFFFF80000000 şəklində işarə genişləndirməsinə (sign-extension) məruz qalır ki, bu da do_div() funksiyasının yanlış nəticə hesablamasına səbəb olur. Verifikatorun abstrakt interpretasiyası (scalar32_min_max_sdiv) diapazon izləməsi üçün riyazi cəhətdən düzgün nəticəni hesablayır; bu isə verifikator və interpretator arasında uyğunsuzluq yaradır və map dəyərlərinə sərhədlərdən kənar (out-of-bounds) giriş üçün istismar edilə bilər. İmzalı daşmanı tamamilə aradan qaldırmaq üçün inkardan əvvəl u32 tipinə çevirmə yolu ilə S32_MIN dəyərini düzgün emal edən abs_s32() tətbiq edilmişdir. Interpretatorun sdiv32/smod32 idarəedicilərindəki bütün 8 abs((s32)...) çağırış nöqtələri əvəz edilmişdir. Yalnız s32 halı təsirlənmişdir — s64 bölmə/qalıq idarəediciləri abs()-dan istifadə etmir.