CVE-2026-41144
Received Received - Intake
Integer Overflow in FΒ΄ Framework File Handling Enables Arbitrary Write

Publication date: 2026-04-22

Last updated on: 2026-04-22

Assigner: Wed, 22 Apr 2026

Description
FΒ΄ (F Prime) is a framework that enables development and deployment of spaceflight and other embedded software applications. Prior to version 4.2.0, the bounds check byteOffset + dataSize > fileSize uses U32 addition that wraps around on overflow. An attacker-crafted DataPacket with byteOffset=0xFFFFFF9C and dataSize=100 overflows to 0, bypassing the check entirely. The subsequent file write proceeds at the original ~4GB offset. Additionally, Svc/FileUplink/File.cpp:20-31 performs no sanitization on the destination file path. Combined, these allow writing arbitrary data to any file at any offset. The impact is arbitrary file write leading to remote code execution on embedded targets. Note that this is a logic bug. ASAN does not detect it because all memory accesses are within valid buffers β€” the corruption occurs in file I/O. Version 4.2.0 contains a patch. No known workarounds are available.
CVSS Scores
EPSS Scores
Probability:
Percentile:
Meta Information
Published
2026-04-22
Last Modified
2026-04-22
Generated
2026-04-23
AI Q&A
2026-04-22
EPSS Evaluated
2026-04-22
NVD
Affected Vendors & Products
Showing 1 associated CPE
Vendor Product Version / Range
nasa fprime From 0 (inc) to 4.2.0 (exc)
Helpful Resources
Exploitability
CWE
CWE Icon
KEV
KEV Icon
CWE ID Description
CWE-787 The product writes data past the end, or before the beginning, of the intended buffer.
CWE-190 The product performs a calculation that can produce an integer overflow or wraparound when the logic assumes that the resulting value will always be larger than the original value. This occurs when an integer value is incremented to a value that is too large to store in the associated representation. When this occurs, the value may become a very small or negative number.
Attack-Flow Graph
AI Powered Q&A
Can you explain this vulnerability to me?

This vulnerability exists in the FΒ΄ (F Prime) framework prior to version 4.2.0. It involves a logic bug in the bounds check for file writes, where the addition of byteOffset and dataSize uses 32-bit unsigned integer addition that wraps around on overflow. An attacker can craft a DataPacket with specific values (byteOffset=0xFFFFFF9C and dataSize=100) that causes the addition to overflow to zero, bypassing the bounds check entirely.

Additionally, the code does not sanitize the destination file path, allowing an attacker to write arbitrary data to any file at any offset. This can lead to arbitrary file writes and potentially remote code execution on embedded targets using the framework.

This is a logic bug affecting file I/O operations, and typical memory error detection tools like ASAN do not detect it because all memory accesses remain within valid buffers.


How can this vulnerability impact me? :

The vulnerability allows an attacker to write arbitrary data to any file at any offset on embedded targets using the affected F Prime framework versions. This can lead to arbitrary file writes and potentially remote code execution.

Such an exploit could compromise the integrity and security of the embedded system, potentially allowing attackers to execute malicious code remotely, disrupt system operations, or manipulate critical files.


What immediate steps should I take to mitigate this vulnerability?

The vulnerability is fixed in F Prime version 4.2.0. Immediate mitigation involves upgrading to version 4.2.0 or later.

No known workarounds are available.


Ask Our AI Assistant
Need more information? Ask your question to get an AI reply (Powered by our expertise)
0/70
EPSS Chart