CVE-2023-46247

Vyper is a Pythonic Smart Contract Language for the Ethereum Virtual Machine (EVM). Contracts containing large arrays might underallocate the number of slots they need by 1. Prior to v0.3.8, the calculation to determine how many slots a storage variable needed used `math.ceil(type_.size_in_bytes / 32)`. The intermediate floating point step can produce a rounding error if there are enough bits set in the IEEE-754 mantissa. Roughly speaking, if `type_.size_in_bytes` is large (> 2**46), and slightly less than a power of 2, the calculation can overestimate how many slots are needed by 1. If `type_.size_in_bytes` is slightly more than a power of 2, the calculation can underestimate how many slots are needed by 1. This issue is patched in version 0.3.8.
Configurations

Configuration 1 (hide)

cpe:2.3:a:vyperlang:vyper:*:*:*:*:*:python:*:*

History

19 Dec 2023, 02:27

Type Values Removed Values Added
References () https://github.com/vyperlang/vyper/blob/6020b8bbf66b062d299d87bc7e4eddc4c9d1c157/vyper/semantics/validation/data_positions.py#L197 - () https://github.com/vyperlang/vyper/blob/6020b8bbf66b062d299d87bc7e4eddc4c9d1c157/vyper/semantics/validation/data_positions.py#L197 - Product
References () https://github.com/vyperlang/vyper/commit/0bb7203b584e771b23536ba065a6efda457161bb - () https://github.com/vyperlang/vyper/commit/0bb7203b584e771b23536ba065a6efda457161bb - Patch
References () https://github.com/vyperlang/vyper/security/advisories/GHSA-6m97-7527-mh74 - () https://github.com/vyperlang/vyper/security/advisories/GHSA-6m97-7527-mh74 - Third Party Advisory
CPE cpe:2.3:a:vyperlang:vyper:*:*:*:*:*:python:*:*
Summary
  • (es) Vyper es un lenguaje de contrato inteligente pitónico para la máquina virtual Ethereum (EVM). Los contratos que contienen matrices grandes podrían subasignar la cantidad de ranuras que necesitan en 1. Antes de v0.3.8, el cálculo para determinar cuántas ranuras necesitaba una variable de almacenamiento usaba `math.ceil(type_.size_in_bytes / 32)`. El paso de punto flotante intermedio puede producir un error de redondeo si hay suficientes bits configurados en la mantisa IEEE-754. En términos generales, si `type_.size_in_bytes` es grande (> 2**46) y ligeramente menor que una potencia de 2, el cálculo puede sobrestimar cuántas ranuras se necesitan por 1. Si `type_.size_in_bytes` es ligeramente mayor que una potencia de 2, el cálculo puede subestimar cuántas ranuras se necesitan por 1. Este problema se solucionó en la versión 0.3.8.
First Time Vyperlang
Vyperlang vyper

13 Dec 2023, 20:15

Type Values Removed Values Added
New CVE

Information

Published : 2023-12-13 20:15

Updated : 2023-12-19 02:27


NVD link : CVE-2023-46247

Mitre link : CVE-2023-46247

CVE.ORG link : CVE-2023-46247


JSON object : View

Products Affected

vyperlang

  • vyper
CWE
CWE-193

Off-by-one Error

CWE-682

Incorrect Calculation