Insufficient Control Flow Management
CVE-2025-47285
Summary
Vyper is the Pythonic Programming Language for the Ethereum Virtual Machine. In all versions, `concat()` may skip evaluation of side effects when the length of an argument is zero. This is due to a fastpath in the implementation which skips evaluation of argument expressions when their length is zero. In practice, it would be very unusual in user code to construct zero-length bytestrings using an expression with side-effects, since zero-length bytestrings are typically constructed with the empty literal `b""`; the only way to construct an empty bytestring which has side effects would be with the ternary operator introduced in v0.3.8, e.g. `b"" if self.do_some_side_effect() else b""`. The fix is available in pull request 4644 and expected to be part of the 0.4.2 release. As a workaround, don't have side effects in expressions which construct zero-length bytestrings. This issue affects versions 0.3.8 through 0.4.2rc1.
- LOW
- NETWORK
- NONE
- NONE
CWE-691 - Insufficient Control Flow Management
The code does not sufficiently manage its control flow during execution, creating conditions in which the control flow can be modified in unexpected ways.
References
Advisory Timeline
- Published