CVE-2024-22419
published 2024-01-18CVE-2024-22419: 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…
PriorityP353critical9.8CVSS 3.1
AVNACLPRNUINSUCHIHAH
EPSS
0.77%
51.5th percentile
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.
Affected
5 ranges
| Vendor | Product | Version range | Fixed in |
|---|---|---|---|
| vyperlang | vyper | < 0.4.0 | 0.4.0 |
| vyperlang | vyper | <= 0.3.10 | — |
| vyperlang | vyper | >= 0 < 55e18f6d128b2da8986adbbcccf1cd59a4b9ad6f | 55e18f6d128b2da8986adbbcccf1cd59a4b9ad6f |
| vyperlang | vyper | >= 0 < 0.4.0b1 | 0.4.0b1 |
| vyperlang | vyper | >= 0.3.0 < 0.4.0 | 0.4.0 |
Stop checking back — get the weekly exploitation signal.
Every Monday: what got weaponized or added to CISA KEV in the last seven days — each CVE cross-linked to its PoC, Nuclei template, and detection rule. Free, one email a week, unsubscribe in one click.
OSV
concat built-in can corrupt memory in vyper
osv·2024-01-19
CVE-2024-22419 [HIGH] concat built-in can corrupt memory in vyper
concat built-in can corrupt memory in vyper
### Summary
`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.
Tracked in issue https://github.com/vyperlang/vyper/issues/3737
### Details
The `build_IR` allocates a new internal variable for the concatenation: https://github.com/vyperlang/vyper/blob/3b310d5292c4d1448e673d7b3adb223f9353260e/vyper/builtins/functions.py#L534-L550
Notice that the buffer is allocated for the `maxlen` + 1 word to actually hold the length of the array.
Lat
GHSA
concat built-in can corrupt memory in vyper
ghsa·2024-01-19
CVE-2024-22419 [HIGH] CWE-120 concat built-in can corrupt memory in vyper
concat built-in can corrupt memory in vyper
### Summary
`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.
Tracked in issue https://github.com/vyperlang/vyper/issues/3737
### Details
The `build_IR` allocates a new internal variable for the concatenation: https://github.com/vyperlang/vyper/blob/3b310d5292c4d1448e673d7b3adb223f9353260e/vyper/builtins/functions.py#L534-L550
Notice that the buffer is allocated for the `maxlen` + 1 word to actually hold the length of the array.
Lat
OSV
CVE-2024-22419: Vyper is a Pythonic Smart Contract Language for the Ethereum Virtual Machine
osv·2024-01-18
CVE-2024-22419 CVE-2024-22419: Vyper is a Pythonic Smart Contract Language for the Ethereum Virtual Machine
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 allocati
No detection rules found.
No public exploits indexed.
No writeups or analysis indexed.
https://github.com/vyperlang/vyper/commit/55e18f6d128b2da8986adbbcccf1cd59a4b9ad6fhttps://github.com/vyperlang/vyper/issues/3737https://github.com/vyperlang/vyper/security/advisories/GHSA-2q8v-3gqq-4f8phttps://github.com/vyperlang/vyper/commit/55e18f6d128b2da8986adbbcccf1cd59a4b9ad6fhttps://github.com/vyperlang/vyper/issues/3737https://github.com/vyperlang/vyper/security/advisories/GHSA-2q8v-3gqq-4f8p
2024-01-18
Published