F´ (F Prime) is a framework that enables development and deployment of spaceflight and other embedded software applications. Prior to 4.2.0, Svc::GenericHub fromBufferDriver_handler deserialization is vulnerable because the receive handler uses FW_ASSERT for externally influenced deserialization status and type validation and permits a command payload size subtraction to underflow. When an unauthenticated inter-processor hub peer sends a truncated buffer, an invalid HubType, or a header-only command-dispatch payload, malformed hub traffic aborts or resets the process, causing denial of service.
This issue is fixed in version 4.2.0.
Attack Parameters
Attack Vector
Network
Can be exploited remotely
Attack Complexity
Low
Easy to exploit
Privileges Required
None
No privileges needed
User Interaction
None
No user interaction needed
Impact Assessment
Confidentiality
None
No data leak
Integrity
None
No data modification
Availability
High
Complete denial of service
CVSS Vector v3.1
Weakness Type (CWE)
References 4
https://github.com/nasa/fprime/commit/b56b53634fd4251ae84919f22dcff829ef9e0986
security-advisories@github.com
https://github.com/nasa/fprime/pull/4929
security-advisories@github.com
https://github.com/nasa/fprime/releases/tag/v4.2.0
security-advisories@github.com
https://github.com/nasa/fprime/security/advisories/GHSA-2mh6-f7jj-6c93
security-advisories@github.com