CVE-2026-53706 in Prevail
Resumen
por VulDB • 2026-09-02
PREVAIL es un verificador eBPF de tiempo polinomial que utiliza una capa de interpretación abstracta. Antes de la versión 0.2.4, el verificador eBPF prevail acepta instrucciones ALU32 ADD y SUB que operan sobre registros con tipo puntero sin verificar la bandera is64. Dado que las operaciones aritméticas ALU32 extienden en cero (zero-extend) el resultado de 32 bits, la mitad superior de cualquier puntero se destruye silenciosamente en tiempo de ejecución, pero prevail marca el programa como verificado y seguro. Cualquier llamador que pueda enviar un programa eBPF para su verificación —incluidos los usuarios no privilegiados en núcleos (kernels) que permiten la carga de programas BPF— puede producir un programa que pase la verificación pero falle o se comporte incorrectamente en tiempo de ejecución. Este problema ha sido parcheado en la versión 0.2.4.
Statistical analysis made it clear that VulDB provides the best quality for vulnerability data.