Description
F´ (F Prime) is a framework that enables development and deployment of spaceflight and other embedded software applications. Prior to 4.3.0, Svc::FileDownlink SendPartial range validation is vulnerable because unchecked startOffset plus length arithmetic bypasses the range check and stores a wrapped m_endOffset that is inconsistent with m_byteOffset. When an existing source file is larger than a valid startOffset and a SendPartial command supplies a length whose U32 sum with that offset wraps below the file size, under standard F Prime assertion handling, the first data-packet transition reaches FW_ASSERT and aborts or resets the process, causing denial of service. This issue is fixed in version 4.3.0.
Published: 2026-10-14
Score: 6.5 Medium
EPSS: < 1% Very Low
KEV: No
Impact: Denial of Service via assertion failure
Action: Upgrade
AI Analysis

Impact

The vulnerability arises from an unchecked arithmetic operation in the FileDownlink component of F Prime, where adding the startOffset and length can wrap around and bypass range validation. When a caller sends a SendPartial command with a legal offset but a length that causes the sum to wrap below the source file size, the calculated end offset becomes inconsistent with the byte offset, triggering an assertion during packet handling. This aborts or resets the process, effectively denying service for the affected application component.

Affected Systems

Spaceflight and other embedded software that rely on the NASA F Prime framework, specifically any installation using a version earlier than 4.3.0. The issue has been fixed in release 4.3.0 and later. Users of older versions that compile the Svc::FileDownlink service are affected.

Risk and Exploitability

The CVSS score of 6.5 indicates moderate severity. The EPSS score indicates a probability of exploitation of less than 1%, and the vulnerability is not in the CISA KEV catalog. The likely attack vector is the operator or an authenticated user supplying a crafted SendPartial command; this is inferred from the description stating that the vulnerability is triggered by providing a length that wraps the offset. Successful exploitation would lead to a denial of service, impacting availability of the target component.

Generated by OpenCVE AI on October 15, 2026 at 15:06 UTC.

Remediation

No solution or workaround provided in the CVE record.

OpenCVE Recommended Actions

  • Upgrade F Prime to version 4.3.0 or later, which contains the corrected range validation in FileDownlink.
  • Ensure that the deployed firmware pulls the specific commits 33fe2a4fe3fd5ff1b14985669fbad09f070e9914 or 95eeb5cfb44e5609eff0887f0e11e640cdacef6b that implement the fix.
  • If upgrading is not immediately possible, add application‑level checks to validate that any startOffset plus length does not wrap or exceed the actual file size before invoking the FileDownlink service, thereby preventing the assertion trigger.

Generated by OpenCVE AI on October 15, 2026 at 15:06 UTC.

Tracking

Sign in to view the affected projects.

Advisories

No advisories yet.

History

Fri, 23 Oct 2026 00:45:00 +0000

Type Values Removed Values Added
First Time appeared Nasa
Nasa fprime
Vendors & Products Nasa
Nasa fprime

Tue, 20 Oct 2026 02:30:00 +0000

Type Values Removed Values Added
Metrics ssvc

{'options': {'Automatable': 'no', 'Exploitation': 'poc', 'Technical Impact': 'partial'}, 'version': '2.0.3'}


Wed, 14 Oct 2026 17:30:00 +0000

Type Values Removed Values Added
Description F´ (F Prime) is a framework that enables development and deployment of spaceflight and other embedded software applications. Prior to 4.3.0, Svc::FileDownlink SendPartial range validation is vulnerable because unchecked startOffset plus length arithmetic bypasses the range check and stores a wrapped m_endOffset that is inconsistent with m_byteOffset. When an existing source file is larger than a valid startOffset and a SendPartial command supplies a length whose U32 sum with that offset wraps below the file size, under standard F Prime assertion handling, the first data-packet transition reaches FW_ASSERT and aborts or resets the process, causing denial of service. This issue is fixed in version 4.3.0.
Title F´: FileDownlink SendPartial integer overflow lets legal startOffset/length values reach a reachable assertion
Weaknesses CWE-190
CWE-617
References
Metrics cvssV3_1

{'score': 6.5, 'vector': 'CVSS:3.1/AV:A/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H'}


cve-icon MITRE

Status: PUBLISHED

Assigner: GitHub_M

Published:

Updated: 2026-10-20T01:42:27.964Z

Reserved: 2026-09-15T17:13:57.865Z

Link: CVE-2026-92157

cve-icon Vulnrichment

Updated: 2026-10-20T01:42:23.220Z

cve-icon NVD

Status : Deferred

Published: 2026-10-14T18:19:35.073

Modified: 2026-10-20T02:17:13.583

Link: CVE-2026-92157

cve-icon Redhat

No data.

cve-icon OpenCVE Enrichment

Updated: 2026-10-22T22:30:12Z

Weaknesses