Vyper is a Pythonic Smart Contract Language for the Ethereum Virtual Machine. The `concat` built-in can write over the bounds of the memory buffer that was allocated for it and thus overwrite existing valid data. The root cause is that the `build_IR` for `concat` doesn't properly adhere to the API of copy functions (for `>=0.3.2` the `copy_bytes` function). A contract search was performed and no vulnerable contracts were found in production. The buffer overflow can result in the change of semantics of the contract. The overflow is length-dependent and thus it might go unnoticed during contract testing. However, certainly not all usages of concat will result in overwritten valid data as we require it to be in an internal function and close to the return statement where other memory allocations don't occur. This issue has been addressed in 0.4.0.
References
Link | Resource |
---|---|
https://github.com/vyperlang/vyper/commit/55e18f6d128b2da8986adbbcccf1cd59a4b9ad6f | Patch |
https://github.com/vyperlang/vyper/issues/3737 | Exploit Issue Tracking Vendor Advisory |
https://github.com/vyperlang/vyper/security/advisories/GHSA-2q8v-3gqq-4f8p | Exploit Vendor Advisory |
Configurations
History
09 Oct 2024, 20:15
Type | Values Removed | Values Added |
---|---|---|
Summary | (en) Vyper is a Pythonic Smart Contract Language for the Ethereum Virtual Machine. The `concat` built-in can write over the bounds of the memory buffer that was allocated for it and thus overwrite existing valid data. The root cause is that the `build_IR` for `concat` doesn't properly adhere to the API of copy functions (for `>=0.3.2` the `copy_bytes` function). A contract search was performed and no vulnerable contracts were found in production. The buffer overflow can result in the change of semantics of the contract. The overflow is length-dependent and thus it might go unnoticed during contract testing. However, certainly not all usages of concat will result in overwritten valid data as we require it to be in an internal function and close to the return statement where other memory allocations don't occur. This issue has been addressed in 0.4.0. |
26 Jan 2024, 18:10
Type | Values Removed | Values Added |
---|---|---|
CVSS |
v2 : v3 : |
v2 : unknown
v3 : 9.8 |
References | () https://github.com/vyperlang/vyper/commit/55e18f6d128b2da8986adbbcccf1cd59a4b9ad6f - Patch | |
References | () https://github.com/vyperlang/vyper/security/advisories/GHSA-2q8v-3gqq-4f8p - Exploit, Vendor Advisory | |
References | () https://github.com/vyperlang/vyper/issues/3737 - Exploit, Issue Tracking, Vendor Advisory | |
First Time |
Vyperlang vyper
Vyperlang |
|
CWE | CWE-787 | |
CPE | cpe:2.3:a:vyperlang:vyper:*:*:*:*:*:python:*:* |
18 Jan 2024, 19:25
Type | Values Removed | Values Added |
---|---|---|
New CVE |
Information
Published : 2024-01-18 19:15
Updated : 2024-10-09 20:15
NVD link : CVE-2024-22419
Mitre link : CVE-2024-22419
CVE.ORG link : CVE-2024-22419
JSON object : View
Products Affected
vyperlang
- vyper