{"id":"CVE-2024-32481","state":"PUBLISHED","title":"vyper's range(start, start + N) reverts for negative numbers","description":"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.","publishedAt":"2024-04-25T17:00:54.082Z","updatedAt":"2024-08-02T02:13:39.300Z","severity":{"score":5.3,"label":"Medium","version":"3.1","vector":"CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:L/A:N","source":"GitHub_M"},"assigner":"GitHub_M","products":["vyperlang vyper"],"affected":[{"vendor":"vyperlang","product":"vyper","versions":[{"version":">= 0.3.8, < 0.4.0b1","status":"affected"}]}],"references":["https://github.com/vyperlang/vyper/security/advisories/GHSA-ppx5-q359-pvwj","https://github.com/vyperlang/vyper/commit/3de1415ee77a9244eb04bdb695e249d3ec9ed868","https://github.com/vyperlang/vyper/commit/5319cfbe14951e007ccdb323257e5ada869b35d5","https://github.com/vyperlang/vyper/blob/9136169468f317a53b4e7448389aa315f90b95ba/vyper/codegen/stmt.py#L286-L287"],"weaknesses":["CWE-681"],"ingestedAt":"2026-10-29T20:07:21.467Z","source":{"repository":"CVEProject/cvelistV5","path":"cves/2024/32xxx/CVE-2024-32481.json","commit":"556c9d3a8cd17e218bb8e452ba7cd619a384ff47"},"raw":{"dataType":"CVE_RECORD","dataVersion":"5.1","cveMetadata":{"cveId":"CVE-2024-32481","state":"PUBLISHED","datePublished":"2024-04-25T17:00:54.082Z","dateUpdated":"2024-08-02T02:13:39.300Z","assignerShortName":"GitHub_M","assignerOrgId":"a0819718-46f1-4df5-94e2-005712e83aaa","dateReserved":"2024-04-12T19:41:51.168Z"},"containers":{"cna":{"title":"vyper's range(start, start + N) reverts for negative numbers","descriptions":[{"lang":"en","value":"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."}],"affected":[{"vendor":"vyperlang","product":"vyper","versions":[{"version":">= 0.3.8, < 0.4.0b1","status":"affected"}]}],"references":[{"url":"https://github.com/vyperlang/vyper/security/advisories/GHSA-ppx5-q359-pvwj","name":"https://github.com/vyperlang/vyper/security/advisories/GHSA-ppx5-q359-pvwj","tags":["x_refsource_CONFIRM"]},{"url":"https://github.com/vyperlang/vyper/commit/3de1415ee77a9244eb04bdb695e249d3ec9ed868","name":"https://github.com/vyperlang/vyper/commit/3de1415ee77a9244eb04bdb695e249d3ec9ed868","tags":["x_refsource_MISC"]},{"url":"https://github.com/vyperlang/vyper/commit/5319cfbe14951e007ccdb323257e5ada869b35d5","name":"https://github.com/vyperlang/vyper/commit/5319cfbe14951e007ccdb323257e5ada869b35d5","tags":["x_refsource_MISC"]},{"url":"https://github.com/vyperlang/vyper/blob/9136169468f317a53b4e7448389aa315f90b95ba/vyper/codegen/stmt.py#L286-L287","name":"https://github.com/vyperlang/vyper/blob/9136169468f317a53b4e7448389aa315f90b95ba/vyper/codegen/stmt.py#L286-L287","tags":["x_refsource_MISC"]}],"metrics":[{"cvssV3_1":{"attackComplexity":"LOW","attackVector":"NETWORK","availabilityImpact":"NONE","baseScore":5.3,"baseSeverity":"MEDIUM","confidentialityImpact":"NONE","integrityImpact":"LOW","privilegesRequired":"NONE","scope":"UNCHANGED","userInteraction":"NONE","vectorString":"CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:L/A:N","version":"3.1"}}],"problemTypes":[{"descriptions":[{"cweId":"CWE-681","lang":"en","description":"CWE-681: Incorrect Conversion between Numeric Types","type":"CWE"}]}],"providerMetadata":{"shortName":"GitHub_M","orgId":"a0819718-46f1-4df5-94e2-005712e83aaa","dateUpdated":"2024-04-25T17:00:54.082Z"},"source":{"advisory":"GHSA-ppx5-q359-pvwj","discovery":"UNKNOWN"}},"adp":[{"title":"CISA ADP Vulnrichment","affected":[{"vendor":"vyperlang","product":"vyper","defaultStatus":"unknown","versions":[{"version":"0.3.8","status":"affected","lessThanOrEqual":"0.4.0b1","versionType":"custom"}],"cpes":["cpe:2.3:a:vyperlang:vyper:0.3.8:*:*:*:*:python:*:*"]}],"metrics":[{"other":{"type":"ssvc","content":{"id":"CVE-2024-32481","role":"CISA Coordinator","options":[{"Exploitation":"poc"},{"Automatable":"yes"},{"Technical Impact":"partial"}],"version":"2.0.3","timestamp":"2024-04-29T19:03:15.836132Z"}}}],"providerMetadata":{"shortName":"CISA-ADP","orgId":"134c704f-9b21-4f2e-91b3-4a467353bcc0","dateUpdated":"2024-06-04T17:51:33.592Z"}},{"title":"CVE Program Container","references":[{"url":"https://github.com/vyperlang/vyper/security/advisories/GHSA-ppx5-q359-pvwj","name":"https://github.com/vyperlang/vyper/security/advisories/GHSA-ppx5-q359-pvwj","tags":["x_refsource_CONFIRM","x_transferred"]},{"url":"https://github.com/vyperlang/vyper/commit/3de1415ee77a9244eb04bdb695e249d3ec9ed868","name":"https://github.com/vyperlang/vyper/commit/3de1415ee77a9244eb04bdb695e249d3ec9ed868","tags":["x_refsource_MISC","x_transferred"]},{"url":"https://github.com/vyperlang/vyper/commit/5319cfbe14951e007ccdb323257e5ada869b35d5","name":"https://github.com/vyperlang/vyper/commit/5319cfbe14951e007ccdb323257e5ada869b35d5","tags":["x_refsource_MISC","x_transferred"]},{"url":"https://github.com/vyperlang/vyper/blob/9136169468f317a53b4e7448389aa315f90b95ba/vyper/codegen/stmt.py#L286-L287","name":"https://github.com/vyperlang/vyper/blob/9136169468f317a53b4e7448389aa315f90b95ba/vyper/codegen/stmt.py#L286-L287","tags":["x_refsource_MISC","x_transferred"]}],"providerMetadata":{"shortName":"CVE","orgId":"af854a3a-2127-422b-91ae-364da2661108","dateUpdated":"2024-08-02T02:13:39.300Z"}}]}}}