CVE-2025-38591

Linux kernel içerisinde aşağıdaki güvenlik açığı giderilmiştir: bpf: Pointer ctx alanlarına yapılan daha dar erişimlerin reddedilmesi syzkaller repro'sundan basitleştirilen aşağıdaki BPF programı bir kernel uyarısına neden olmaktadır: r0 = *(u8 *)(r1 + 169); exit; __sk_buff içindeki sk pointer alanı 168 ofsetindedir. Bu erişim, offsetof(struct __sk_buff, sk) ile eşleşmediği için bpf_skb_is_valid_access tarafından daha dar bir okuma olarak algılanır. Bu nedenle izin verilir ve daha sonra bpf_convert_ctx_access aşamasına geçilir. convert_ctx_accesses() fonksiyonundaki "is_narrower_load" durumu için insn->off hizalıdır, bu nedenle bpf_convert_ctx_access içerisindeki offsetof(struct __sk_buff, sk) ile eşleştiğinden cnt değeri 0 olmayabilir. Ancak, target_size 0 kalmaya devam eder ve verifier şu kernel uyarısı ile hata verir: verifier bug: error during ctx access conversion(1) Bu yama, yükleme talimatında uygun bir "invalid bpf_context access off=X size=Y" hatası döndürerek bu sorunu düzeltmektedir. Aynı sorun, dar erişime izin veren bağlam yapılarındaki diğer birçok alanı da etkilemektedir. Tutarlılık sağlamak amacıyla, etkilenmeyen bazı diğer alanlar da (sk_msg, sk_lookup ve sockopt için) bpf_ctx_range_ptr kullanacak şekilde değiştirilmiştir. Bu syzkaller çökmesinin, aşağıda yer alan ve önceden commit fce7bd8e385a ("bpf/verifier: Handle BPF_LOAD_ACQ instructions in insn_def_regno()") ile düzeltilen farklı bir hata hakkında olan "Closes" bağlantısında bildirildiği unutulmamalıdır. syzbot iki hatayı birbirine karıştırdığı için yeni çökme ve repro raporu posta listesine bildirilmemiştir.