Descripción
En el kernel de Linux se resolvió la siguiente vulnerabilidad: svcrdma: corregir la aritmética de desplazamiento en read_chunk_range. svc_rdma_read_chunk_range() recorre la lista de segmentos de un Read chunk para construir un subrango que comienza en el byte offset y abarca length bytes para un Position-Zero o Call chunk. Dos defectos aritméticos en el bucle por segmento producen longitudes DMA incorrectas y un subdesbordamiento u32: pcl_for_each_segment(segment, chunk) { if (offset > segment->rs_length) { offset -= segment->rs_length; continue; } dummy.rs_handle = segment->rs_handle; dummy.rs_length = min_t(u32, length, segment->rs_length) - offset; dummy.rs_offset = segment->rs_offset + offset; Primero, la condición para omitir usa '>' en lugar de '>='. Cuando offset es igual al rs_length completo del segmento, el segmento está totalmente consumido y debería omitirse, pero el bucle entra en el cuerpo. El dummy.rs_length resultante es min_t(u32, length, rs_length) - rs_length, que se subdesborda a un u32 cercano a UINT_MAX cuando length es menor que rs_length, o es cero en caso contrario. Segundo, la fórmula de longitud resta offset del resultado de min_t() en lugar de restarlo de segment->rs_length antes del límite. Para offset > 0, el residuo del segmento es rs_length - offset, no rs_length, por lo que el límite debe aplicarse al residuo. Con la agrupación actual, siempre que length sea menor que rs_length - offset, la longitud por segmento pasa a ser length - offset en lugar de length, descartando silenciosamente offset bytes del chunk reconstruido. Combinado con el caso límite anterior, también habilita la ruta de subdesbordamiento u32, que propaga un nr_bvec enorme hacia svc_rdma_build_read_segment() y un kmalloc_array_node() de varios MiB en svc_rdma_get_rw_ctxt(). Además, svc_rdma_read_call_chunk() puede invocar esta función con length == 0 cuando el último Read chunk termina exactamente al final del Call chunk. Con la condición >= corregida, se omite cada segmento y la función devuelve el -EINVAL inicial, rechazando una solicitud válida. Se devuelve éxito inmediatamente cuando length es cero. También se sale del bucle una vez que length se consume completamente, para evitar pasar segmentos de longitud cero a svc_rdma_build_read_segment(). La corrección usa '>=' para omitir un segmento totalmente consumido, mueve '- offset' dentro de min_t() para que el límite se aplique a la longitud residual del segmento, devuelve éxito para solicitudes de longitud cero y detiene la iteración cuando se ha consumido el rango solicitado.
Qué hacer
Revisa si usas el producto afectado y en qué versión, y aplica la actualización o la mitigación que indique el aviso del fabricante. CISA no ha confirmado que se esté explotando; si eso cambia, esta ficha pasa a «explotada» y te avisamos en el boletín.
Versiones afectadas
- Linux Afectadas: d7cc73972661be4a02a1b09f1d9b3283c6c05154 y anteriores a 10873311f91db9454e2fadbf9866bc819e0646d9 · d7cc73972661be4a02a1b09f1d9b3283c6c05154 y anteriores a addbf02dfe3b25e7e38e03bbd4e2a6ed86a14be7 · d7cc73972661be4a02a1b09f1d9b3283c6c05154 y anteriores a cba8543c18cf42fd80fd63effb6df6ff4f7e73ce · d7cc73972661be4a02a1b09f1d9b3283c6c05154 y anteriores a 6ee4dc7476b3abc92ec1d444533a559f33f59561 · d7cc73972661be4a02a1b09f1d9b3283c6c05154 y anteriores a a46b35f213c2426f5d6a0458a8f7e873fc59cdfd · d7cc73972661be4a02a1b09f1d9b3283c6c05154 y anteriores a 4493c96bbd0068fadf69cbae8d13426202e34cdc · d7cc73972661be4a02a1b09f1d9b3283c6c05154 y anteriores a 4a44c140cc2f3643a39e258bb0c0ab9d0f494f5e
- Linux Afectadas: 5.11 No afectadas: 5.15.221 · 6.1.188 · 6.6.157 · 6.12.109 · 6.18.50 · 7.2.4
Según el registro de la vulnerabilidad en CVE.org, tal como lo publicó el fabricante. Confirma tu versión exacta en el aviso del fabricante.
Referencias
- Referencia en git.kernel.orggit.kernel.org/stable/c/10873311f91db9454e2fadbf9866bc819e0646d9
- Referencia en git.kernel.orggit.kernel.org/stable/c/addbf02dfe3b25e7e38e03bbd4e2a6ed86a14be7
- Referencia en git.kernel.orggit.kernel.org/stable/c/cba8543c18cf42fd80fd63effb6df6ff4f7e73ce
- Referencia en git.kernel.orggit.kernel.org/stable/c/6ee4dc7476b3abc92ec1d444533a559f33f59561
- Referencia en git.kernel.orggit.kernel.org/stable/c/a46b35f213c2426f5d6a0458a8f7e873fc59cdfd
- Referencia en git.kernel.orggit.kernel.org/stable/c/4493c96bbd0068fadf69cbae8d13426202e34cdc
- Referencia en git.kernel.orggit.kernel.org/stable/c/4a44c140cc2f3643a39e258bb0c0ab9d0f494f5e
Ver el texto original en inglés (CVE.org)
svcrdma: Fix offset arithmetic in read_chunk_range
In the Linux kernel, the following vulnerability has been resolved: svcrdma: Fix offset arithmetic in read_chunk_range svc_rdma_read_chunk_range() walks a Read chunk's segment list to build a sub-range starting at byte offset and spanning length bytes for a Position-Zero or Call chunk. Two arithmetic defects in the per-segment loop produce wrong DMA lengths and a u32 underflow: pcl_for_each_segment(segment, chunk) { if (offset > segment->rs_length) { offset -= segment->rs_length; continue; } dummy.rs_handle = segment->rs_handle; dummy.rs_length = min_t(u32, length, segment->rs_length) - offset; dummy.rs_offset = segment->rs_offset + offset; First, the skip predicate uses '>' instead of '>='. When offset equals the segment's full rs_length, the segment is fully consumed and should be skipped, but the loop falls through into the body. The resulting dummy.rs_length is min_t(u32, length, rs_length) - rs_length, which underflows to a near-UINT_MAX u32 when length is smaller than rs_length, or is zero otherwise. Second, the length formula subtracts offset from the min_t() result rather than from segment->rs_length before the cap. For offset > 0 the segment's residual is rs_length - offset, not rs_length, so the cap must be applied to the residual. With the current bracketing, whenever length is smaller than rs_length - offset the per-segment length becomes length - offset instead of length, silently dropping offset bytes from the rebuilt chunk. Combined with the boundary case above it also enables the u32 underflow path, which propagates a huge nr_bvec into svc_rdma_build_read_segment() and a multi-MiB kmalloc_array_node() in svc_rdma_get_rw_ctxt(). Additionally, svc_rdma_read_call_chunk() can invoke this function with length == 0 when the last Read chunk ends exactly at the end of the Call chunk. With the corrected >= predicate, every segment is skipped and the function returns the initial -EINVAL, rejecting a valid request. Return success immediately when length is zero. Also break out of the loop once length is fully consumed to avoid passing zero-length segments to svc_rdma_build_read_segment(). Fix by using '>=' so a fully-consumed segment is skipped, by moving '- offset' inside min_t() so the cap is applied to the segment's residual length, by returning success for zero-length requests, and by stopping iteration when the requested range has been consumed.