CVE-2026-43070

In the Linux kernel, the following vulnerability has been resolved: bpf: Reset register ID for BPF_END value tracking When a register undergoes a BPF_END (byte swap) operation, its scalar value is mutated in-place. If this register previously shared a scalar ID with another register (e.g., after an `r1 = r0` assignment), this tie must be broken. Currently, the verifier misses resetting `dst_reg->id` to 0 for BPF_END. Consequently, if a conditional jump checks the swapped register, the verifier incorrectly propagates the learned bounds to the linked register, leading to false confidence in the linked register's value and potentially allowing out-of-bounds memory accesses. Fix this by explicitly resetting `dst_reg->id` to 0 in the BPF_END case to break the scalar tie, similar to how BPF_NEG handles it via `__mark_reg_known`.
Configurations

Configuration 1 (hide)

OR cpe:2.3:o:linux:linux_kernel:*:*:*:*:*:*:*:*
cpe:2.3:o:linux:linux_kernel:*:*:*:*:*:*:*:*
cpe:2.3:o:linux:linux_kernel:7.0:rc1:*:*:*:*:*:*
cpe:2.3:o:linux:linux_kernel:7.0:rc2:*:*:*:*:*:*
cpe:2.3:o:linux:linux_kernel:7.0:rc3:*:*:*:*:*:*
cpe:2.3:o:linux:linux_kernel:7.0:rc4:*:*:*:*:*:*

History

11 Nov 2026, 21:10

Type Values Removed Values Added
Summary
  • (es) En el kernel de Linux, la siguiente vulnerabilidad ha sido resuelta: bpf: Restablecer ID de registro para el seguimiento de valores BPF_END Cuando un registro se somete a una operación BPF_END (intercambio de bytes), su valor escalar se muta in situ. Si este registro previamente compartía un ID escalar con otro registro (por ejemplo, después de una asignación ’r1 = r0’), este vínculo debe romperse. Actualmente, el verificador omite restablecer ’dst_reg -> id’ a 0 para BPF_END. En consecuencia, si un salto condicional verifica el registro intercambiado, el verificador propaga incorrectamente los límites aprendidos al registro vinculado, lo que lleva a una falsa confianza en el valor del registro vinculado y potencialmente permitiendo accesos a memoria fuera de límites. Solucionar esto restableciendo explícitamente ’dst_reg -> id’ a 0 en el caso BPF_END para romper el vínculo escalar, similar a cómo BPF_NEG lo maneja a través de ’__mark_reg_known’.

Information

Published : 2026-05-05 16:16

Updated : 2026-11-11 21:10


NVD link : CVE-2026-43070

Mitre link : CVE-2026-43070

CVE.ORG link : CVE-2026-43070


JSON object : View

Products Affected

linux

  • linux_kernel
CWE
CWE-125

Out-of-bounds Read