CVE-2025-38502

Linux kernel-də aşağıdakı zəiflik aradan qaldırılıb: bpf: cgroup lokal yaddaşında sərhədlərdən kənar (oob) girişin düzəldilməsi Lonial bildirmişdir ki, tail call-lar vasitəsilə cgroup lokal yaddaşında sərhədlərdən kənar giriş yaradmaq mümkündür. Hər biri fərqli dəyər ölçüsünə malik cgroup lokal yaddaşından istifadə edən iki proqram və bir proqramın digərinə tail call etdiyi hal nəzərə alındıqda, verifikator hər bir proqramı tək-tək uğurla təsdiqləyir. Lakin işləmə zamanı kontekstdə bpf_cg_run_ctx, BPF proqramını və proqramın istifadə etdiyi hər hansı cgroup lokal yaddaş növünü ehtiva edən bpf_prog_array_item saxlayır. bpf_get_local_storage() kimi köməkçi funksiyalar bunu işləmə zamanı kontekstdən götürür: ctx = container_of(current->bpf_ctx, struct bpf_cg_run_ctx, run_ctx); storage = ctx->prog_item->cgroup_storage[stype]; if (stype == BPF_CGROUP_STORAGE_SHARED) ptr = &READ_ONCE(storage->buf)->data[0]; else ptr = this_cpu_ptr(storage->percpu_buf); İlkin olaraq qoşulmuş proqram tərəfindən çağırılan ikinci proqram üçün bu o deməkdir ki, bpf_get_local_storage() öz xəritəsini deyil, əvvəlki proqramın xəritəsini götürəcək. Ölçülərin uyğunsuzluğu nəticəsində bu, gözlənilməz sərhədlərdən kənar girişə səbəb ola bilər. Bu problemi həll etmək üçün biz bpf_map_owner strukturunu storage_cookie[] massivi ilə genişləndirməliyik ki, i) ikinci proqram bpf_get_local_storage()-dan istifadə edirsə, orijinal proqramın dəqiq xəritələri ilə uyğunlaşdırılsın və ya ii) ikinci proqram heç bir cgroup lokal yaddaş xəritəsindən istifadə etmirsə, tail call kombinasiyasına icazə verilsin.