CVE-2026-43070

Linux kernel içerisinde aşağıdaki güvenlik açığı giderilmiştir: bpf: BPF_END değer takibi için yazmaç kimliği sıfırlama Bir yazmaç BPF_END (bayt değişimi) işlemine tabi tutulduğunda, skaler değeri yerinde değiştirilir. Eğer bu yazmaç daha önce başka bir yazmaçla aynı skaler kimliğini paylaşıyorsa (örneğin, bir `r1 = r0` atamasından sonra), bu bağ koparılmalıdır. Mevcut durumda, doğrulayıcı BPF_END işlemi için `dst_reg->id` değerini 0'a sıfırlamayı atlamaktadır. Sonuç olarak, eğer koşullu bir atlama işlemi değiştirilen yazmacı kontrol ederse, doğrulayıcı öğrenilen sınırları yanlışlıkla bağlantılı yazmaca yaymakta; bu durum bağlantılı yazmacın değerine karşı hatalı bir güven oluşmasına ve potansiyel olarak sınırlar dışı bellek erişimlerine yol açmaktadır. Bu sorun, BPF_NEG işleminin `__mark_reg_known` aracılığıyla yaptığına benzer şekilde, skaler bağı koparmak için BPF_END durumunda `dst_reg->id` değerinin açıkça 0'a sıfırlanmasıyla düzeltilmiştir.