Skip to main content

Insufficient Control Flow Management

CVE-2025-47285

Severity Low
Score 2.9/10

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.

Advisory Timeline

  • Published