CVE-2024-22419— Vyper 安全漏洞

concat built-in can corrupt memory in vyper

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.

CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:L/I:L/A:L

未进行输入大小检查的缓冲区拷贝(传统缓冲区溢出)

Vyper 安全漏洞

Vyper是EVM 的 Pythonic 智能合约语言。 Vyper 0.3.10及之前版本存在安全漏洞，该漏洞源于允许concat内置写入内存缓冲区的边界，从而覆盖现有的有效数据。

N/A

N/A