Vulnerability details

F´ (F Prime) is a framework that enables development and deployment of spaceflight and other embedded software applications. From 4.1.0 until 4.2.0, Svc::GenericHub output-port dispatch is vulnerable because the deserialized port field is passed to serialOut_out, bufferOut_out, eventOut_out, or tlmOut_out without an explicit range check. When a remote hub packet supplies a port index outside the configured output-port array, assert-enabled builds abort, while builds without assertions can access an output-port array out of bounds, corrupt heap memory, and potentially allow remote code execution. This issue is fixed in version 4.2.0.

• https://github.com/nasa/fprime/security/advisories/GHSA-vv4x-5pmf-m59g x_refsource_CONFIRM
• https://github.com/nasa/fprime/pull/4929 x_refsource_MISC
• https://github.com/nasa/fprime/commit/b56b53634fd4251ae84919f22dcff829ef9e0986 x_refsource_MISC
• https://github.com/nasa/fprime/releases/tag/v4.2.0 x_refsource_MISC