CVE-2026-98043

Linux nüvəsində aşağıdakı zəiflik aradan qaldırılıb: bpf: Məhdudiyyətsiz ofseti olan göstəricidən non-NULL dəyərinin çıxarılmaması reg_not_null() funksiyası yalnız tipinə baxaraq registrin non-NULL dəyəri saxladığına qərar verir. Arifmetik əməliyyatlara icazə verən göstərici tipləri üçün tip yalnız non-NULL bazanı təmin edir; məhdudiyyətsiz ofset olduqda, iş vaxtı (runtime) ofset dəyəri hələ də NULL-a bərabər ola bilər. Aşağıdakı proqrama nəzər salın: r6 = bpf_map_lookup_elem(map, &0); /* mövcuddur */ if (r6 == 0) return 0; r7 = bpf_map_lookup_elem(map, &1); /* yoxdur, iş vaxtında NULL */ r8 = r7; r8 -= r6; /* göstərici - göstərici: naməlum skalyar, -r6 */ r8 <<= 1; r8 >>= 1; /* hər hansı qeyri-mənfi ofset check_reg_sane_offset_ptr() tərəfindən qəbul edilir */ r6 += r8; /* verifikator: map value; iş vaxtı: sıfır */ if (r7 != r6) return 0; *(u8 *)(r7 + 0); /* r7 non-NULL kimi çıxarılır, lakin hər ikisi sıfırdır */ İş vaxtında hər iki registr sıfırdır, müqayisə doğru olur və yükləmə əməliyyatı NULL göstəricisinin istifadəsi (NULL pointer dereference) səbəbindən xətaya yol açır. reg_not_null() funksiyasında ofsetin +-BPF_MAX_VAR_OFF daxilində olması tələb edilsin.