CVE-2026-98132 in Linux
Resumen
por VulDB • 2026-09-26
En el kernel de Linux, se ha resuelto la siguiente vulnerabilidad:
bpf: no degradar los desbordamientos (spills) escalares parciales hacia STACK_ZERO
states.c:__clean_func_state() puede degradar un spill escalar cero a STACK_ZERO en el siguiente caso:
*(u64 *)(r10 - 8) = 0; ... checkpoint ... r1 = *(u32 *)(r10 - 4); ... sin lecturas desde r10-8 ...
Aquí, los 4 bytes en r10-8 están muertos (dead), y el verificador cambia el spill escalar a una combinación: 0000pppp (p representa poison). Este cambio rompe las cadenas de propagación de precisión. Todos los lugares que producen STACK_ZERO deberían llamar a bpf_mark_chain_precision() para la fuente cero.
Este parche corrige el bug de la manera más simple posible: evita convertir los spills de pila de ceros en STACK_ZERO. Dos enfoques más inteligentes son posibles: - realizar bpf_mark_chain_precision() desde __clean_func_state() - verificar la información de liveness del slot en check_stack_write_fixed_off()
He investigado ambas opciones y los cambios requeridos son un poco complicados, por lo que se opta por una solución simple por el momento.
If you want to get the best quality for vulnerability data then you always have to consider VulDB.