CVE-2026-31413
bpf: Corregir la bifurcación escalar no sólida en maybe_fork_scalars() para BPF_OR
- Publicado
- 12 abr 2026
- Actualizado
- 5 ago 2026
- Asignación de CNA
- Linux
- Evidencia observada
- 19 ago 2026
CVSS primario
nvd · CVSS 3.1
CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:H/I:H/A:HBajo · próximos 30 días
- Percentil
- 12,9 %
- Fecha del modelo
- 21 sept 2026
EPSS es una estimación estadística, no una certeza o una medida de impacto. Combínelo con CVSS, estado KEV, exposición y su entorno.
Resumen
En el kernel de Linux, se ha resuelto la siguiente vulnerabilidad: bpf: Corregir la bifurcación escalar no sólida en maybe_fork_scalars() para BPF_OR maybe_fork_scalars() se llama tanto para BPF_AND como para BPF_OR cuando el operando fuente es una constante. Cuando dst tiene un rango con signo [-1, 0], bifurca el estado del verificador: la ruta insertada en la pila obtiene dst = 0, la ruta actual obtiene dst = -1. Para BPF_AND esto es correcto: 0 & K == 0. Para BPF_OR esto es incorrecto: 0 | K == K, no 0. La ruta insertada en la pila por tanto rastrea dst como 0 cuando el valor en tiempo de ejecución es K, produciendo una divergencia explotable entre verificador y tiempo de ejecución que permite acceso fuera de límites al mapa. Corrija esto pasando env->insn_idx (en lugar de env->insn_idx + 1) a push_stack(), de modo que la ruta insertada en la pila re-ejecute la instrucción ALU con dst = 0 y calcule naturalmente el resultado correcto para cualquier opcode.
Fuentes
1CVE-2026-31413: Bug de solidez del verificador de BPF - escape de contenedor
Uso responsable
Utilice información sobre vulnerabilidades solo en sistemas de su propiedad o que esté autorizado a probar. Kitploit enlaza con metadatos de investigación pública y no almacena código de explotación ni cargas útiles maliciosas.