JVNDB-2026-005795

Stellarのrs-soroban-sdkにおける整数オーバーフローの脆弱性

soroban-sdkはSorobanコントラクト用のRust SDKです。算術オーバーフローは、`soroban-sdk`のバージョン`25.0.1`、`23.5.1`、および`25.0.2`までの`Bytes::slice`、`Vec::slice`、および`Prng::gen_range`（`u64`用）メソッドで発生する可能性があります。ユーザー制御または計算された範囲境界を`Bytes::slice`、`Vec::slice`、または`Prng::gen_range`に渡すコントラクトは、誤ったデータ範囲を静かに操作したり、意図しない範囲から乱数を生成したりしてしまい、その結果コントラクトの状態が破損する恐れがあります。`soroban-sdk`を使用してSorobanコントラクトを構築する際のベストプラクティスは、常に`overflow-checks = true`を有効にすることです。Sorobanコントラクトのボイラープレートを準備する`stellar contract init`ツールおよびすべての例やドキュメントは、これらの算術演算が静かに巻き戻るのではなく失敗するように、`release`プロファイルで`overflow-checks = true`を設定することを推奨しています。`overflow-checks = false`が明示的または暗黙的に設定されている場合にのみコントラクトが影響を受けます。ツールによって推奨されるベストプラクティスが`overflow-checks`の有効化であるため、多くのコントラクトは影響を受けないと予想されます。`25.0.1`、`23.5.1`、および`25.0.2`で提供される修正は、生の算術演算を`checked_add` / `checked_sub`に置き換え、`overflow-checks`プロファイル設定に関係なくオーバーフロー時に例外を発生させます。回避策として、GitHubのセキュリティ勧告に記載されているプロファイルでコントラクトワークスペースを設定し、算術演算に対してオーバーフローチェックを有効にする方法があります。これはSorobanコントラクト開発時のベストプラクティスであり、`stellar contract init`で生成されるボイラープレートのデフォルト設定です。あるいは、`slice`や`gen_range`に渡す前に範囲境界の検証を行い、変換でオーバーフローが発生しないことを保証する方法もあります。

Stellar

• rs-soroban-sdk 22.0.9 未満
• rs-soroban-sdk 23.0.0 以上 23.5.1 未満
• rs-soroban-sdk 25.0.0 以上 25.0.2 未満

本脆弱性の影響を受ける製品の詳細については、ベンダ情報および参考情報をご確認ください。

当該ソフトウェアが扱う情報について、外部への漏えいは発生しません。
また、当該ソフトウェアが扱う情報の一部が書き換えられる可能性があります。
さらに、当該ソフトウェアは停止しません。
そして、この脆弱性を悪用した攻撃の影響は、他のソフトウェアには及びません。

正式な対策が公開されています。ベンダ情報を参照して適切な対策を実施してください。

GitHub

• GitHub : Overflow in Bytes::slice, Vec::slice, GenRange::gen_range for u64  Advisory  stellar/rs-soroban-sdk  GitHub

1. 整数オーバーフローまたはラップアラウンド(CWE-190) [その他]

1. CVE-2026-24889

1. National Vulnerability Database (NVD) : CVE-2026-24889
2. 関連文書 : Fix range bound overflow in Vec/Bytes slice and GenRange gen_range fo…  stellar/rs-soroban-sdk@59fcef4  GitHub
3. 関連文書 : Release 22.0.9  stellar/rs-soroban-sdk  GitHub
4. 関連文書 : Fix range bound overflow in Vec/Bytes slice and GenRange gen_range fo…  stellar/rs-soroban-sdk@c2757c6  GitHub
5. 関連文書 : Fix range bound overflow in Vec/Bytes slice and GenRange gen_range for u64 by leighmcculloch  Pull Request #1703  stellar/rs-soroban-sdk  GitHub
6. 関連文書 : Fix range bound overflow in Vec/Bytes slice and GenRange gen_range fo…  stellar/rs-soroban-sdk@3890521  GitHub
7. 関連文書 : Release 23.5.1  stellar/rs-soroban-sdk  GitHub
8. 関連文書 : Release 25.0.2  stellar/rs-soroban-sdk  GitHub

• [2026年03月04日]
    掲載