---
id: CVE-2026-92158
title: >-
  F´ (F Prime) is a framework that enables development and deployment of
  spaceflight and other embedded software applications
summary: >-
  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-controll…
severity: high
cvss: 7.2
cvssVector: 'CVSS:3.1/AV:N/AC:L/PR:H/UI:N/S:U/C:H/I:H/A:H'
cwe:
  - CWE-190
  - CWE-787
published: '2026-10-14'
updated: '2026-10-14'
sourceUpdated: '2026-10-14T18:19:35.217'
source: NVD
sourceUrl: 'https://nvd.nist.gov/vuln/detail/CVE-2026-92158'
references:
  - url: >-
      https://github.com/nasa/fprime/commit/7527430d9ae7c88f3d649d376a45c866b0aed595
    label: security-advisories@github.com
  - url: 'https://github.com/nasa/fprime/pull/4534'
    label: security-advisories@github.com
  - url: 'https://github.com/nasa/fprime/releases/tag/v4.2.0'
    label: security-advisories@github.com
  - url: 'https://github.com/nasa/fprime/security/advisories/GHSA-vfwv-3qv7-jjjq'
    label: security-advisories@github.com
tags:
  - nvd
ingestedAt: '2026-10-14T18:47:39.323Z'
---

## Overview

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.

## Remediation

Refer to the linked advisories for vendor-supplied fixes and affected version ranges.