JVNDB-2026-016903

NASAのF Primeにおける複数の脆弱性

F´（エフプライム）は、宇宙飛行およびその他の組み込みソフトウェアアプリケーションの開発と展開を可能にするフレームワークです。バージョン4.2.0以前では、bounds checkの byteOffset + dataSize fileSize において、オーバーフロー時にラップアラウンドするU32加算が使用されていました。攻撃者が作成したDataPacketで byteOffset=0xFFFFFF9C 、 dataSize=100 と設定すると、チェックを完全に回避して0にオーバーフローします。その後のファイル書き込みは元の約4GBオフセットで実行されます。さらに、Svc/FileUplink/File.cppの20-31行目では、宛先ファイルパスのサニタイズが行われていません。これらが組み合わさることで、任意のファイルの任意のオフセットに任意のデータを書き込むことが可能になります。その影響により、任意ファイル書き込みによって組み込み対象でリモートコード実行が引き起こされます。これはロジックバグであり、ASANはメモリアクセスがすべて有効なバッファ内で行われるため検出しません。破損はファイルI/O内で発生します。バージョン4.2.0で修正パッチが適用されました。既知の回避策はありません。

NASA

• F Prime 4.1.1

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

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

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

GitHub

• GitHub : Integer Overflow in FileUplink (Critical)  Advisory  nasa/fprime  GitHub

1. 整数オーバーフローまたはラップアラウンド(CWE-190) [その他]
2. 境界外書き込み(CWE-787) [その他]

1. CVE-2026-41144

1. National Vulnerability Database (NVD) : CVE-2026-41144
2. 関連文書 : Omega (#4919)  nasa/fprime@cacdd55  GitHub

• [2026年05月25日]
    掲載