CVE-2026-53081

Linux çekirdeğinde aşağıdaki güvenlik açığı giderilmiştir: bpf: BPF_ADD_CONST skalerleri için regsafe taban kimliği tutarlılığını zorunlu kılın regsafe(), her ikisi de BPF_ADD_CONST taşıyan iki skaler kaydediciyi karşılaştırdığında, check_scalar_ids() bunların tam bileşik kimliğini (yani base | BPF_ADD_CONST bayrağı) tek bir idmap girişi olarak eşler. Ancak, bayrak kaldırıldığındaki temel taban kimliklerinin mevcut idmap eşlemeleriyle tutarlı olduğunu hiçbir zaman doğrulamaz. Bu durum; eski durumun R3 = R2 + 10 (her ikisi de taban kimliği A'yı paylaşıyor), güncel durumun ise R3 = R4 + 10 (R2 ile ilgisiz taban kimliği C) olduğu iki doğrulayıcı durumu oluşturulmasına izin verir. idmap, A->C'nin A->B ile çakıştığını fark etmeden iki bağımsız giriş oluşturur: A->B (R2 için) ve A|flag->C|flag (R3 için). Ardından durum budama (state pruning) işlemi hatalı bir şekilde başarılı olur. BPF_ADD_CONST ayarlandığında ek olarak taban kimlik eşleme tutarlılığı doğrulanarak bu sorun giderilmiştir: Bileşik kimlikler eşlendikten sonra, taban kimlikler üzerinde (bayrak bitleri kaldırılmış şekilde) check_ids() çağrılır. Bu, kaynak kaydedicinin karşılaştırılmasından dolayı A zaten B'ye eşlenmişse, herhangi bir ADD_CONST türevinin ilgisiz bir C'den değil, mutlaka B'den türemesini sağlar.