Integer overflow in Vyperlang Vyper

CVE-2023-32058

Vyper is a Pythonic smart contract language for the Ethereum virtual machine. Prior to version 0.3.8, due to missing overflow check for loop variables, by assigning the iterator of a loop to a variable, it is possible to overflow the type of the latter. The issue seems to happen only in loops of type `for i in range(a, a + N)` as in loops of type `for i in range(start, stop)` and `for i in range(stop)`, the compiler is able to raise a `TypeMismatch` when trying to overflow the variable. The problem has been patched in version 0.3.8.

Vulnerability class: Integer Overflow

EPSS: 0.009 (57.7th percentile) — read the EPSS interpretation.

CVSS v3 metric

CVSS v3 base score 7.5 (High). Vector: CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H.

Affected products

Weakness classification (CWE)

References

Frequently asked questions

What is CVE-2023-32058?
CVE-2023-32058 is a high-severity vulnerability in Vyperlang Vyper, classified under Integer Overflow or Wraparound. CVSS score: 7.5/10. Published 2023-05-11.
How severe is CVE-2023-32058?
High severity. CVSS v3 base score is 7.5 out of 10.