CVE-2025-54070

OpenZeppelin Contracts is a library for secure smart contract development. Starting in version 5.2.0 and prior to version 5.4.0, the `lastIndexOf(bytes,byte,uint256)` function of the `Bytes.sol` library may access uninitialized memory when the following two conditions hold: 1) the provided buffer length is empty (i.e. `buffer.length == 0`) and position is not `2**256 - 1` (i.e. `pos != type(uint256).max`). The `pos` argument could be used to access arbitrary data outside of the buffer bounds. This could lead to the operation running out of gas, or returning an invalid index (outside of the empty buffer). Processing this invalid result for accessing the `buffer` would cause a revert under normal conditions. When triggered, the function reads memory at offset `buffer + 0x20 + pos`. If memory at that location (outside the `buffer`) matches the search pattern, the function would return an out of bound index instead of the expected `type(uint256).max`. This creates unexpected behavior where callers receive a valid-looking index pointing outside buffer bounds. Subsequent memory accesses that don't check bounds and use the returned index must carefully review the potential impact depending on their setup. Code relying on this function returning `type(uint256).max` for empty buffers or using the returned index without bounds checking could exhibit undefined behavior. Users should upgrade to version 5.4.0 to receive a patch.
CVSS

No CVSS.

Configurations

No configuration.

History

15 Apr 2026, 00:35

Type Values Removed Values Added
Summary
  • (es) OpenZeppelin Contracts es una librería para el desarrollo seguro de contratos inteligentes. A partir de la versión 5.2.0 y anteriores a la 5.4.0, la función `lastIndexOf(bytes,byte,uint256)` de la librería `Bytes.sol` puede acceder a memoria no inicializada cuando se cumplen las dos condiciones siguientes: 1) la longitud del búfer proporcionado está vacía (es decir, `buffer.length == 0`) y la posición no es `2**256 - 1` (es decir, `pos != type(uint256).max`). El argumento `pos` podría usarse para acceder a datos arbitrarios fuera de los límites del búfer. Esto podría provocar que la operación se quede sin gas o que devuelva un índice no válido (fuera del búfer vacío). Procesar este resultado no válido para acceder al `buffer` provocaría una reversión en condiciones normales. Cuando se activa, la función lee la memoria en el desplazamiento `buffer + 0x20 + pos`. Si la memoria en esa ubicación (fuera del búfer) coincide con el patrón de búsqueda, la función devolvería un índice fuera de los límites en lugar del `type(uint256).max` esperado. Esto genera un comportamiento inesperado: quienes llaman reciben un índice aparentemente válido que apunta fuera de los límites del búfer. Los accesos posteriores a memoria que no verifiquen los límites y utilicen el índice devuelto deben revisar cuidadosamente el posible impacto según su configuración. El código que dependa de que esta función devuelva `type(uint256).max` para búferes vacíos o que utilice el índice devuelto sin verificar los límites podría presentar un comportamiento indefinido. Los usuarios deben actualizar a la versión 5.4.0 para recibir una actualización.

17 Jul 2025, 19:15

Type Values Removed Values Added
New CVE

Information

Published : 2025-07-17 19:15

Updated : 2026-06-17 09:39


NVD link : CVE-2025-54070

Mitre link : CVE-2025-54070

CVE.ORG link : CVE-2025-54070


JSON object : View

Products Affected

No product.

CWE
CWE-125

Out-of-bounds Read