Zaloguj się
Deutsch English Español Polski
Średnia

Vyper: reversed order of side effects for some operations

  • Ujawniono: 04.09.2023
  • Aktualizacja: 11.10.2026 12:19

Impact

For the following (probably non-exhaustive) list of expressions, the compiler evaluates the arguments from right to left instead of left to right.

- unsafe_add
- unsafe_sub
- unsafe_mul
- unsafe_div
- pow_mod256
- |, &, ^ (bitwise operators)
- bitwise_or (deprecated)
- bitwise_and (deprecated)
- bitwise_xor (deprecated)
- raw_call
- <, >, <=, >=, ==, !=
- in, not in (when lhs and rhs are enums)

This behaviour becomes a problem when the evaluation of one of the arguments produces side effects that other arguments depend on. The following expressions can produce side-effect:

  • state modifying external call
  • state modifying internal call
  • raw_call
  • pop() when used on a Dynamic Array stored in the storage
  • create_minimal_proxy_to
  • create_copy_of
  • create_from_blueprint

For example:

vyper
f:uint256

@internal
def side_effect() -> uint256:
    self.f = 12
    return 1

@external
def foo() -> uint256:
    return unsafe_add(self.f,self.side_effect()) # returns 13 instead of 1
vyper
a:DynArray[uint256, 12]
@external
def bar() -> bool:
    self.a = [1,2,3]
    return len(self.a) == self.a.pop() # return false instead of true

Patches

not yet patched, will address in a future release. tracking in https://github.com/vyperlang/vyper/issues/3604.

Workarounds

When using expressions from the list above, make sure that the arguments of the expression do not produce side effects or, if one does, that no other argument is dependent on those side effects.

References

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

Czego dotyczy

Kliknij technologię, aby zobaczyć wszystkie dotyczące jej podatności.

PlatformaPaczkaPodatne wersjePoprawka w wersji
Python (PyPI) vyper <= 0.4.2 brak poprawki

Odnośniki

Ocena CVSS 5.3/10
Wektor CVSS
CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:L/A:N
Słabość (CWE)
CWE-670
Platforma
Python (PyPI)
Paczka
vyper
Ujawniono
04.09.2023
Aktualizacja
11.10.2026 12:19

Źródła i licencje

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

OSV / GitHub Advisory Database - GHSA-g2xh-c426-v8mf - CC BY 4.0

Historia podatności: vyper

Wszystkie opisane podatności tej paczki (Python (PyPI)), od najnowszej. Widać, czy to jednorazowa wpadka, czy paczka, której trzeba pilnować.

Wszystkie (47) w archiwum
Wszystkich wpisów
47
Pierwsza → ostatnia
03.2020 10.2026
Bez poprawki
5
Wykorzystywana w atakach
0

Rozkład istotności

  • Krytyczna 3
  • Wysoka 14
  • Średnia 20
  • Niska 10

Ujawnienia w latach

Istotność:
  1. Vyper negative array index bounds checks
    Krytyczna · 9.8 CVE-2024-24563 < 0.4.0 0.4.0
  2. Vyper's bounds check on built-in `slice()` function can be overflowed
    Krytyczna · 9.8 CVE-2024-24561 < 0.4.0 0.4.0
  3. concat built-in can corrupt memory in vyper
    Wysoka · 7.3 CVE-2024-22419 >= 0.3.0, < 0.4.0 0.4.0
  4. incorrect storage layout for contracts containing large arrays
    Wysoka · 7.5 CVE-2023-46247 < 0.3.8 0.3.8
  5. Vyper vulnerable to memory corruption in certain builtins utilizing `msize`
    Wysoka · 8.1 CVE-2023-42443 >= 0.3.4, < 0.3.10 0.3.10
  6. Vyper: reversed order of side effects for some operations ten wpis
    Średnia · 5.3 CVE-2023-40015 <= 0.4.2 brak poprawki
  7. Vyper has incorrectly allocated named re-entrancy locks
    Krytyczna · 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
    Wysoka · 7.5 CVE-2023-32059 < 0.3.8 0.3.8
  9. Vyper vulnerable to integer overflow in loop
    Wysoka · 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
    Wysoka · 7.5 CVE-2023-31146 < 0.3.8 0.3.8
  11. vyper vulnerable to storage allocator overflow
    Wysoka · 7.5 CVE-2023-30837 < 0.3.8 0.3.8
  12. Incorrect success value returned in vyper
    Wysoka · 7.5 CVE-2023-30629 >= 0.3.1, < 0.3.8 0.3.8
  13. Multiple evaluation of contract address in call in vyper
    Wysoka · 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
    Wysoka · 8.8 CVE-2022-24845 < 0.3.2 0.3.2
  15. Buffer Overflow in vyper
    Wysoka · 7.1 CVE-2022-24788 < 0.3.2 0.3.2
  16. Incorrect Comparison in Vyper
    Wysoka · 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
    Wysoka · 7.5 CVE-2021-41121 < 0.3.0 0.3.0
  18. Storage corruption due to variables overwritten by re-entrancy locks
    Wysoka ghsa-7f92-rr6w-cq64 >= 0.2.13, < 0.2.15 0.2.15

Dowiedz się, które podatności dotyczą Twojej aplikacji

Po podłączeniu integracji DockRay i włączeniu raportowania oprogramowania DockRay porównuje zgłoszone wersje komponentów ze znanymi podatnościami i powiadamia o potwierdzonych dopasowaniach. Zakres zależy od obsługiwanej technologii i dostępnych biuletynów.

Podłącz swoją aplikację
Newsletter DockRay

Bezpieczeństwo aplikacji w Twojej skrzynce

Najważniejsze podatności, konkretne zalecenia i praktyczne wskazówki dla Twoich aplikacji. Wybierz technologie i śledź to, co ma znaczenie dla Twojego projektu.

  • Codzienne zestawienie nowych podatności, także krytycznych.
  • Powiadomienia o ważnych aktualizacjach.
  • Praktyczne porady o bezpieczeństwie i monitoringu aplikacji.

Pozostaw puste, aby otrzymywać informacje o wszystkich technologiach.

Polityka prywatności

Zapis jest bezpłatny. Wypiszesz się jednym kliknięciem w wiadomości.