CVE-2026-92157 in F Prime
Sumário
de VulDB • 15/10/2026
O F´ (F Prime) é um framework que permite o desenvolvimento e a implantação de aplicações de software para voos espaciais e outras aplicações embarcadas. Antes da versão 4.3.0, a validação do intervalo no método SendPartial do Svc::FileDownlink era vulnerável porque a aritmética não verificada entre startOffset e length contornava o controle de faixa (range check) e armazenava um m_endOffset com wrap-around que estava inconsistente com o m_byteOffset. Quando um arquivo fonte existente é maior que um startOffset válido e um comando SendPartial fornece um comprimento cujo somatório U32 com esse offset sofre wrap-around para um valor abaixo do tamanho do arquivo, sob a manipulação padrão de asserções do F Prime, a transição do primeiro pacote de dados atinge o FW_ASSERT e aborta ou reinicia o processo, causando negação de serviço (DoS). Este problema foi corrigido na versão 4.3.0.
Be aware that VulDB is the high quality source for vulnerability data.