Anmelden
Deutsch English Español Polski
Mittel

Vyper's `_abi_decode` input not validated in complex expressions

  • Veröffentlicht: 26.09.2023
  • Aktualisiert: 11.10.2026 11:20

Impact

_abi_decode() does not validate input when it is nested in an expression. the following example gets correctly validated (bounds checked):

vyper
x: int128 = _abi_decode(slice(msg.data, 4, 32), int128)

however, the following example is not bounds checked

vyper
@external
def abi_decode(x: uint256) -> uint256:
    a: uint256 = convert(_abi_decode(slice(msg.data, 4, 32), (uint8)), uint256) + 1
    return a  # abi_decode(256) returns: 257

the issue can be triggered by constructing an example where the output of _abi_decode is not internally passed to make_setter (an internal codegen routine) or other input validating routine.

Patches

https://github.com/vyperlang/vyper/pull/3626

Workarounds

Is there a way for users to fix or remediate the vulnerability without upgrading?

References

Are there any links users can visit to find out more?

Betroffene Software

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

PlattformPaketAnfällige VersionenBehoben in
Python (PyPI) vyper >= 0.3.4, < 0.3.10 0.3.10

Verweise

CVSS-Wert 5.3/10
CVSS-Vektor
CVSS:3.1/AV:N/AC:H/PR:L/UI:N/S:U/C:N/I:H/A:N
Schwäche (CWE)
CWE-682
Plattform
Python (PyPI)
Paket
vyper
Veröffentlicht
26.09.2023
Aktualisiert
11.10.2026 11:20

Quellen und Lizenzen

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

OSV / GitHub Advisory Database - GHSA-cx2q-hfxr-rj97 - 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
    Hoch · 7.5 CVE-2023-46247 < 0.3.8 0.3.8
  5. Vyper's `_abi_decode` input not validated in complex expressions dieser Eintrag
    Mittel · 5.3 CVE-2023-42460 >= 0.3.4, < 0.3.10 0.3.10
  6. 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
  7. Vyper has incorrectly allocated named re-entrancy locks
    Kritisch · 8.7 CVE-2023-39363 >= 0.2.15, < 0.3.1 0.3.1
  8. 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
  9. Vyper vulnerable to integer overflow in loop
    Hoch · 7.5 CVE-2023-32058 < 0.3.8 0.3.8
  10. 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
  11. vyper vulnerable to storage allocator overflow
    Hoch · 7.5 CVE-2023-30837 < 0.3.8 0.3.8
  12. Incorrect success value returned in vyper
    Hoch · 7.5 CVE-2023-30629 >= 0.3.1, < 0.3.8 0.3.8
  13. Multiple evaluation of contract address in call in vyper
    Hoch · 7.5 CVE-2022-29255 < 0.3.4 0.3.4
  14. 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
  15. Buffer Overflow in vyper
    Hoch · 7.1 CVE-2022-24788 < 0.3.2 0.3.2
  16. Incorrect Comparison in Vyper
    Hoch · 7.5 CVE-2022-24787 < 0.3.2 0.3.2
  17. 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
  18. 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.