p PatchFirst

CVE-2024-32481

CVE-2024-32481 · vyper's range(start, start + N) reverts for negative numbers

This page contains facts from public vulnerability sources. Check the original advisory before updating.

Vyper is a pythonic Smart Contract Language for the Ethereum virtual machine. Starting in version 0.3.8 and prior to version 0.4.0b1, when looping over a `range` of the form `range(start, start + N)`, if `start` is negative, the execution will always revert. This issue is caused by an incorrect assertion inserted by the code generation of the range `stmt.parse_For_range()`. The issue arises when `start` is signed, instead of using `sle`, `le` is used and `start` is interpreted as an unsigned integer for the comparison. If it is a negative number, its 255th bit is set to `1` and is hence interpreted as a very large unsigned integer making the assertion always fail. Any contract having a `range(start, start + N)` where `start` is a signed integer with the possibility for `start` to be negative is affected. If a call goes through the loop while supplying a negative `start` the execution will revert. Version 0.4.0b1 fixes the issue.

CVSS 5.3 · Medium · EPSS 0.8% · Fix available

Published
Updated

Stack: python

Affected products and versions

  • vyper

    Versions
    • >= 0.3.8, < 0.4.0b1: Affected

    No fix published

  • vyper PyPI

    Versions
    • 0.3.10
    • 0.3.10rc1
    • 0.3.10rc2
    • 0.3.10rc3
    • 0.3.10rc4
    • 0.3.10rc5
    • 0.3.8
    • 0.3.9
    • 0.4.0b1
    • 0.4.0b2
    • 0.4.0b3
    • 0.4.0b4
    • 0.4.0b5
    • 0.4.0b6
    • 0.4.0rc1
    • 0.4.0rc2
    • 0.4.0rc3
    • 0.4.0rc4
    • 0.4.0rc5
    • 0.4.0rc6
    Affected ranges
    • ECOSYSTEM: ≥ 0.3.8, < 0.4.0

    Update to 0.4.0

  • vyper PyPI

    Versions
    • 0.3.10
    • 0.3.10rc1
    • 0.3.10rc2
    • 0.3.10rc3
    • 0.3.10rc4
    • 0.3.10rc5
    • 0.3.8
    • 0.3.9
    Affected ranges
    • ECOSYSTEM: ≥ 0.3.8, < 0.4.0b1

    Update to 0.4.0b1

Original sources

Check your server →