Vulnerabilidad en kernel de Linux (CVE-2024-26885)

En el kernel de Linux, se resolvió la siguiente vulnerabilidad: bpf: corrige la verificación de desbordamiento de DEVMAP_HASH en arcos de 32 bits. El código devmap asigna un número de depósitos de hash igual a la siguiente potencia de dos del valor max_entries proporcionado al crear el mapa. Al redondear a la siguiente potencia de dos, la variable de 32 bits que almacena el número de depósitos puede desbordarse, y el código verifica el desbordamiento comprobando si el valor truncado de 32 bits es igual a 0. Sin embargo, en arcos de 32 bits el redondeo hacia arriba puede desbordarse a mitad de camino, porque termina haciendo un desplazamiento hacia la izquierda de 32 bits en un valor largo sin signo. Si el tamaño de un largo sin firmar es de cuatro bytes, este es un comportamiento indefinido, por lo que no hay garantía de que terminemos con un valor 0 agradable y ordenado al final. Syzbot logró convertir esto en un bloqueo en arm32 creando un DEVMAP_HASH con max_entries > 0x80000000 y luego intentando actualizarlo. Solucione este problema moviendo la verificación de desbordamiento antes de la operación de redondeo.