Description
F´ (F Prime) is a framework that enables development and deployment of spaceflight and other embedded software applications. Prior to 4.2.0, Svc::FpySequencer STORE directive stack write validation the bounds check adds attacker-controlled offset and size before memcpy, allowing integer wraparound to make an out-of-range destination appear valid. When a sequence-controlled STORE directive supplies a stack offset and size whose U32 sum wraps, memcpy can write outside the sequencer stack, causing memory corruption, denial of service, and potentially code execution. This issue is fixed in version 4.2.0.
Published: 2026-10-14
Score: 7.2 High
EPSS: < 1% Very Low
KEV: No
Impact: Memory corruption that can lead to denial of service and potential code execution
Action: Upgrade
AI Analysis

Impact

The flaw occurs when the Svc::FpySequencer component adds an attacker‑controlled stack offset and size together before performing a memcpy. The 32‑bit unsigned sum can wrap around so that the calculated destination address appears within bounds, but in reality it lies outside the intended stack area. The subsequent memcpy writes beyond the allocated stack space, corrupting memory, causing system instability, and potentially enabling execution of arbitrary code if the corruption is exploited. This is strictly an integer wraparound followed by an out‑of‑bounds write, as identified by CWE‑190 and CWE‑787.

Affected Systems

The vulnerability affects the NASA FPrime flight software framework in all releases prior to version 4.2.0 that include the Svc::FpySequencer component. No specific hardware vendor is mentioned, but any deployment of the FPrime framework before 4.2.0 is potentially impacted.

Risk and Exploitability

The CVSS score of 7.2 places this issue in the high severity range. The EPSS score is 0.00747, indicating a very low but non‑zero probability of exploitation, and the vulnerability is not listed in the CISA KEV catalog, suggesting that widespread exploitation has not yet been observed. Nevertheless, because the fault allows an out‑of‑bounds memory write that can corrupt critical internal data structures, an adversary with access to the sequence configuration or with the ability to deliver malicious sequence files could trigger a denial of service or even arbitrary code execution. The attack vector likely requires local or privileged access to the stored sequence data, though remote exploitation cannot be ruled out if the system allows upload of arbitrary sequences over insecure channels. Given the potentially severe impact and moderate probability, organizations should treat this as a priority for remediation.

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

Remediation

No solution or workaround provided in the CVE record.

OpenCVE Recommended Actions

  • Upgrade the FPrime framework to version 4.2.0 or later where the integer‑overflow check has been fixed.
  • Re‑compile any custom application components that depend on the Svc::FpySequencer module to incorporate the updated logic.
  • Verify that all sequence configuration files use offset and size values that, when summed, do not exceed the 32‑bit maximum and validate them during load time to prevent wraparound.

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

Tracking

Sign in to view the affected projects.

Advisories

No advisories yet.

History

Thu, 29 Oct 2026 14:30:00 +0000

Type Values Removed Values Added
Metrics ssvc

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


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

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

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.2.0, Svc::FpySequencer STORE directive stack write validation the bounds check adds attacker-controlled offset and size before memcpy, allowing integer wraparound to make an out-of-range destination appear valid. When a sequence-controlled STORE directive supplies a stack offset and size whose U32 sum wraps, memcpy can write outside the sequencer stack, causing memory corruption, denial of service, and potentially code execution. This issue is fixed in version 4.2.0.
Title F´: FpySequencer Integer Overflow in Stack Offset/Size Validation Leading to Out-of-Bounds Write
Weaknesses CWE-190
CWE-787
References
Metrics cvssV3_1

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


cve-icon MITRE

Status: PUBLISHED

Assigner: GitHub_M

Published:

Updated: 2026-10-29T13:54:17.108Z

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

Link: CVE-2026-92158

cve-icon Vulnrichment

Updated: 2026-10-29T13:53:56.043Z

cve-icon NVD

Status : Deferred

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

Modified: 2026-10-29T14:18:00.247

Link: CVE-2026-92158

cve-icon Redhat

No data.

cve-icon OpenCVE Enrichment

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

Weaknesses