CVE-2026-24889

Detail

When compiled with overflow-checks = false (the default for release builds), the bare arithmetic in those functions silently wraps on boundary values like u32::MAX or u64::MAX. This causes the range passed to the host to differ from the caller's intent:

Bytes::slice:

• Bytes::slice(0..=u32::MAX), end u32::MAX + 1 wraps to 0, producing slice(0..0) returning empty instead of the full range.
• Bytes::slice((Bound::Excluded(u32::MAX), Bound::Unbounded)), start u32::MAX + 1 wraps to 0, producing slice(0..) instead of an empty/invalid range.

Vec::slice:

• Vec::slice(0..=u32::MAX), same as Bytes, end wraps to 0, returning empty.
• Vec::slice((Bound::Excluded(u32::MAX), Bound::Unbounded)), same as Bytes, start wraps to 0.

Prng::gen_range:

• Prng::gen_range((Bound::Unbounded, Bound::Excluded(0))), end 0 - 1 wraps to u64::MAX, producing range 0..=u64::MAX instead of an empty/invalid range.
• Prng::gen_range((Bound::Excluded(u64::MAX), Bound::Unbounded)), start u64::MAX + 1 wraps to 0, producing range 0..=u64::MAX instead of an empty/invalid range.

Note that some cases where the overflow was permitted and wrapped on the guest side are caught by the Soroban Env Host and cause a trap host side with error HostError: Error(Object, IndexBounds) object index out of bounds, because the wrapped values create invalid inputs:

• Bytes::slice(u32::MAX..=u32::MAX), both start u32::MAX + 1 and end u32::MAX + 1 wrap to 0, producing slice(0..0).
• Vec::slice(u32::MAX..=u32::MAX), same as Bytes, both wrap to 0.

Workarounds

Contract workspaces can be configured with the following profile to enable overflow checks on the arithmetic operations. This is the best practice when developing Soroban contracts, and the default if using the contract boilerplate generated using stellar contract init:

[profile.release]
overflow-checks = true

Alternatively, contracts can validate range bounds before passing them to slice or gen_range to ensure the conversions cannot overflow:

• Do not pass Bound::Excluded(u32::MAX) or Bound::Included(u32::MAX) to Bytes::slice or Vec::slice.
• Do not pass Bound::Excluded(u64::MAX) as a start bound or Bound::Excluded(0) as an end bound to Prng::gen_range::<u64>.

References

• https://github.com/stellar/rs-soroban-sdk/pull/1703
• https://github.com/stellar/rs-soroban-sdk/releases/tag/v25.0.2
• https://github.com/stellar/rs-soroban-sdk/releases/tag/v23.5.1
• https://github.com/stellar/rs-soroban-sdk/releases/tag/v22.0.9

Arithmetic overflow can be triggered in the Bytes::slice, Vec::slice, and Prng::gen_range (for u64) methods in the soroban-sdk in versions prior to and including 25.0.1.

Contracts that pass user-controlled or computed range bounds to Bytes::slice, Vec::slice, or Prng::gen_range may silently operate on incorrect data ranges or generate random numbers from an unintended range, potentially resulting in corrupted contract state.

Note that the best practice when using the soroban-sdk and building Soroban contracts is to always enable overflow-checks = true. The stellar contract init tool that prepares the boiler plate for a Soroban contract, as well as all examples and docs, encourage the use of configuring overflow-checks = true on release profiles so that these arithmetic operations fail rather than silently wrap. Contracts are only impacted if they use overflow-checks = false either explicitly or implicitly. It is anticipated the majority of contracts could not be impacted because the best practice encouraged by tooling is to enable overflow-checks.

An arithmetic operation produces a value that exceeds the integer type's maximum, causing it to wrap to an unexpected small value. Typical impact: incorrect size calculations leading to heap overflows or logic errors.

CVE-2026-24889 has a CVSS score of 5.3 (Medium). The vector is network-reachable, no privileges required, and no user interaction. A CVSS score reflects the worst-case severity of the vulnerability, not your specific exposure. Whether this affects your application depends on whether the vulnerable code is present and reachable in your environment. A fixed version is available (25.0.2, 23.5.1, 22.0.9); upgrading removes the vulnerable code path.

Kodem intelligence

The fix replaces bare arithmetic with checked_add / checked_sub, ensuring overflow traps regardless of the overflow-checks profile setting.

1. What is CVE-2026-24889? CVE-2026-24889 is a medium-severity integer overflow or wraparound vulnerability in soroban-sdk (rust), affecting versions >= 25.0.0, < 25.0.2. It is fixed in 25.0.2, 23.5.1, 22.0.9. An arithmetic operation produces a value that exceeds the integer type's maximum, causing it to wrap to an unexpected small value.
2. How severe is CVE-2026-24889? CVE-2026-24889 has a CVSS score of 5.3 (Medium). This score reflects the worst-case severity of the vulnerability, not your specific exposure. Whether it represents real risk in your environment depends on whether the vulnerable code is present and reachable.
3. Which versions of soroban-sdk are affected by CVE-2026-24889? soroban-sdk (rust) versions >= 25.0.0, < 25.0.2 is affected.
4. Is there a fix for CVE-2026-24889? Yes. CVE-2026-24889 is fixed in 25.0.2, 23.5.1, 22.0.9. Upgrade to this version or later.
5. Is CVE-2026-24889 exploitable, and should I be worried? Whether CVE-2026-24889 is exploitable in your environment depends on whether the vulnerable code is present and reachable. A CVSS score is a worst-case rating; it does not account for your specific deployment, configuration, or usage patterns. Kodem, an Intelligent Application Security platform, uses runtime intelligence to show which vulnerabilities actually execute in production, so you can focus on the ones that represent real risk. Get a demo
6. What actually determines whether CVE-2026-24889 is exploitable, and how bad it is? Exploitability and impact are not fixed properties of a CVE. They depend on runtime truth: whether the vulnerable code is present, reachable, and actually executes in your application. A high CVSS score on a dependency that never runs is not the same as real risk. Kodem, an Intelligent Application Security platform, uses runtime intelligence to reveal which vulnerabilities actually execute in production, so teams prioritize the ones that genuinely matter.
7. How do I fix CVE-2026-24889?
   • Upgrade soroban-sdk to 25.0.2 or later
   • Upgrade soroban-sdk to 23.5.1 or later
   • Upgrade soroban-sdk to 22.0.9 or later