CVE-2024-32481mediumCWE-681

CVE-2024-32481: fallo de gravedad media en vyperlang vyper

vyper's range(start, start + N) reverts for negative numbers

Publicada el · Actualizada el

Seguir esta CVE+ Monitorear vyper+ Monitorear vyper

Aviso por correo cuando entre en el KEV, tenga PoC pública o suba de nota.

13Vexday Risk Score

Sin señal de explotación. Ningún artefacto público de explotación conocido hasta ahora.

ssvc Trackcvss 5.3epss 0.8%
En resumen

Los contratos Vyper que usan bucles range con valores iniciales negativos fallan inesperadamente. Es un fallo en la generación de código de Vyper que inutiliza estos bucles cuando el valor inicial es negativo.

Detalle técnico

Implica una comparación numérica incorrecta en la generación de código del range() de Vyper para enteros con signo. Cuando start es negativo en range(start, start + N), el compilador usa incorrectamente comparación sin signo (le) en lugar de con signo (sle), haciendo que el valor negativo se interprete como un entero sin signo muy grande, causando siempre fallo en la asserción.

Resumen generado y traducido por IA a partir de la descripción oficial.
Vyper is a pythonic Smart Contract Language for the Ethereum virtual machine. Starting in version 0.3.8 and prior to version 0.4.0b1, when looping over a `range` of the form `range(start, start + N)`, if `start` is negative, the execution will always revert. This issue is caused by an incorrect assertion inserted by the code generation of the range `stmt.parse_For_range()`. The issue arises when `start` is signed, instead of using `sle`, `le` is used and `start` is interpreted as an unsigned integer for the comparison. If it is a negative number, its 255th bit is set to `1` and is hence interpreted as a very large unsigned integer making the assertion always fail. Any contract having a `range(start, start + N)` where `start` is a signed integer with the possibility for `start` to be negative is affected. If a call goes through the loop while supplying a negative `start` the execution will revert. Version 0.4.0b1 fixes the issue.
CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:L/A:N
Productos afectados
vyperlang · vyper
CVEs relacionadas — vyperlang vyper

En el mismo producto, de las más peligrosas a las menos.

CVE-2024-24563CRITICALVyper array negative index vulnerabilityEPSS 1.5%CVE-2022-24845HIGHInteger bounds error in VyperEPSS 1.4%CVE-2022-29255HIGHMultiple evaluation of contract address in call in vyperEPSS 1.3%CVE-2023-31146HIGHVyper vulnerable to OOB DynArray access when array is on both LHS and RHS of an assignmentEPSS 1.3%CVE-2021-41121HIGHMemory corruption in VyperEPSS 1.1%CVE-2022-24787HIGHIncorrect Comparison in VyperEPSS 1.0%