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.
References6
- github.com/nasa/fprime/commit/33fe2a4fe3fd5ff1b14985669fbad09f0…
- github.com/nasa/fprime/commit/95eeb5cfb44e5609eff0887f0e11e640c…
- github.com/nasa/fprime/pull/5565
- github.com/nasa/fprime/releases/tag/v4.3.0
- github.com/nasa/fprime/security/advisories/GHSA-hcmw-g425-8h9g
- github.com/nasa/fprime/security/advisories/GHSA-hcmw-g425-8h9g
Metrics
- CVSS 3.1
-
6.5
MEDIUM
Score source: CNA
CVSS:3.1/AV:A/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H - EPSS — exploit probability
- 1% percentile: 48 · as of 11 November 2026
- CWE
- CWE-190CWE-617
Could this be exploited in your environment?
A patch closes the known hole. A penetration test shows what an attacker can still reach — with proof.