Anmelden
Deutsch English Español Polski
Hoch

incorrect storage layout for contracts containing large arrays

  • Veröffentlicht: 13.12.2023
  • Aktualisiert: 11.10.2026 15:17

Impact

contracts containing large arrays might underallocate the number of slots they need. prior to v0.3.8, the calculation to determine how many slots a storage variable needed used math.ceil(type_.size_in_bytes / 32):

https://github.com/vyperlang/vyper/blob/6020b8bbf66b062d299d87bc7e4eddc4c9d1c157/vyper/semantics/validation/data_positions.py#L197

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. if type_.size_in_bytes is slightly more than a power of 2, the calculation can underestimate how many slots are needed.

the following two example contracts can result in overwriting of the variable vulnerable:

vyper
large_array: address[2**64 + 1]  # type_.size_in_bytes == 32 * (2**64 + 1); math.ceil(type_.size_in_bytes / 32) < 2**64 + 1
vulnerable: uint256

# writing to self.large_array[2**64] will overwrite self.vulnerable
vyper
large_dynarray: DynArray[address, 2**64]  # Dynarray has a length word in front, its size in bytes is 32 * (2**64 + 1)
vulnerable: uint256

# writing to self.large_dynarray[2**64 - 1] will overwrite self.vulnerable

note that in the latter case, the risk of vulnerable being overwritten is relatively small, since it would cost roughly $1.45 million trillion USD at today's gas prices (gas price 20gwei, ETH ~= $1800) in order to extend the DynArray to its full container size.

Patches

patched by v0.3.8, specifically in commit https://github.com/vyperlang/vyper/commit/0bb7203b584e771b23536ba065a6efda457161bb.

Betroffene Software

Klicken Sie auf eine Technologie, um alle zugehörigen Schwachstellen anzuzeigen.

PlattformPaketAnfällige VersionenBehoben in
Python (PyPI) vyper < 0.3.8 0.3.8

Verweise

CVSS-Wert 7.5/10
CVSS-Vektor
CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:H/A:N
Schwäche (CWE)
CWE-193
Plattform
Python (PyPI)
Paket
vyper
Veröffentlicht
13.12.2023
Aktualisiert
11.10.2026 15:17

Quellen und Lizenzen

OSV / GitHub Advisory Database - PYSEC-2023-307 - PyPA Advisory Database; CC BY 4.0

OSV / GitHub Advisory Database - GHSA-6m97-7527-mh74 - CC BY 4.0

Schwachstellenhistorie: vyper

Alle veröffentlichten Schwachstellen dieses Pakets (Python (PyPI)), neueste zuerst. Zeigt, ob es ein einmaliger Ausrutscher ist oder ein Paket, das man im Auge behalten muss.

Alle (47) im Archiv
Einträge insgesamt
47
Erste → letzte
03.2020 10.2026
Ohne Fix
5
In Angriffen ausgenutzt
0

Verteilung nach Schweregrad

  • Kritisch 3
  • Hoch 14
  • Mittel 20
  • Niedrig 10

Veröffentlichungen pro Jahr

Schweregrad:
  1. Vyper negative array index bounds checks
    Kritisch · 9.8 CVE-2024-24563 < 0.4.0 0.4.0
  2. Vyper's bounds check on built-in `slice()` function can be overflowed
    Kritisch · 9.8 CVE-2024-24561 < 0.4.0 0.4.0
  3. concat built-in can corrupt memory in vyper
    Hoch · 7.3 CVE-2024-22419 >= 0.3.0, < 0.4.0 0.4.0
  4. incorrect storage layout for contracts containing large arrays dieser Eintrag
    Hoch · 7.5 CVE-2023-46247 < 0.3.8 0.3.8
  5. Vyper vulnerable to memory corruption in certain builtins utilizing `msize`
    Hoch · 8.1 CVE-2023-42443 >= 0.3.4, < 0.3.10 0.3.10
  6. Vyper has incorrectly allocated named re-entrancy locks
    Kritisch · 8.7 CVE-2023-39363 >= 0.2.15, < 0.3.1 0.3.1
  7. Vyper vulnerable to incorrect ordering of arguments for kwargs passed to internal calls
    Hoch · 7.5 CVE-2023-32059 < 0.3.8 0.3.8
  8. Vyper vulnerable to integer overflow in loop
    Hoch · 7.5 CVE-2023-32058 < 0.3.8 0.3.8
  9. Vyper vulnerable to OOB DynArray access when array is on both LHS and RHS of an assignment
    Hoch · 7.5 CVE-2023-31146 < 0.3.8 0.3.8
  10. vyper vulnerable to storage allocator overflow
    Hoch · 7.5 CVE-2023-30837 < 0.3.8 0.3.8
  11. Incorrect success value returned in vyper
    Hoch · 7.5 CVE-2023-30629 >= 0.3.1, < 0.3.8 0.3.8
  12. Multiple evaluation of contract address in call in vyper
    Hoch · 7.5 CVE-2022-29255 < 0.3.4 0.3.4
  13. Vyper is a pythonic Smart Contract Language for the ethereum virtual machine. In affected versions, the return of `<iface>.returns_int128()` is not validated to fall within the bounds of `int128`. Thi
    Hoch · 8.8 CVE-2022-24845 < 0.3.2 0.3.2
  14. Buffer Overflow in vyper
    Hoch · 7.1 CVE-2022-24788 < 0.3.2 0.3.2
  15. Incorrect Comparison in Vyper
    Hoch · 7.5 CVE-2022-24787 < 0.3.2 0.3.2
  16. Memory corruption when returning a literal struct with a private call inside of it
    Hoch · 7.5 CVE-2021-41121 < 0.3.0 0.3.0
  17. Storage corruption due to variables overwritten by re-entrancy locks
    Hoch ghsa-7f92-rr6w-cq64 >= 0.2.13, < 0.2.15 0.2.15

Erkennen Sie Schwachstellen in Ihrer Anwendung

Mit der DockRay-Integration und aktivierter Softwareinventarisierung prüft DockRay gemeldete Komponentenversionen auf bekannte Schwachstellen und benachrichtigt Sie über bestätigte Treffer. Die Abdeckung hängt von der unterstützten Technologie und den verfügbaren Meldungen ab.

Anwendung verbinden
DockRay Newsletter

Anwendungssicherheit in Ihrem Postfach

Wichtige Schwachstellen, konkrete Empfehlungen und praktische Tipps für Ihre Anwendungen. Wählen Sie Ihre Technologien und verfolgen Sie, was für Ihr Projekt relevant ist.

  • Eine tägliche Zusammenfassung neuer Schwachstellen, auch kritischer.
  • Benachrichtigungen über wichtige Updates.
  • Praktische Tipps zur Sicherheit und Überwachung von Anwendungen.

Leer lassen, um Meldungen zu allen Technologien zu erhalten.

Datenschutzerklärung

Kostenlos anmelden. In jeder E-Mail mit einem Klick abmelden.