Vulnerabilidad en fprime de nasa (CVE-2026-41144)

F’ (F Prime) es un framework que permite el desarrollo y la implementación de aplicaciones de software para vuelos espaciales y otras aplicaciones embebidas. Antes de la versión 4.2.0, la comprobación de límites byteOffset + dataSize > fileSize utiliza una suma U32 que se ajusta en caso de desbordamiento. Un DataPacket creado por un atacante con byteOffset=0xFFFFFF9C y dataSize=100 se desborda a 0, eludiendo completamente la comprobación. La escritura de archivo subsiguiente procede en el desplazamiento original de ~4GB. Además, Svc/FileUplink/File.cpp:20-31 no realiza ninguna sanitización en la ruta del archivo de destino. Combinado, esto permite escribir datos arbitrarios en cualquier archivo en cualquier desplazamiento. El impacto es una escritura de archivo arbitraria que conduce a la ejecución remota de código en objetivos embebidos. Tenga en cuenta que esto es un error de lógica. ASAN no lo detecta porque todos los accesos a memoria están dentro de búferes válidos - la corrupción ocurre en la E/S de archivos. La versión 4.2.0 contiene un parche. No se conocen soluciones alternativas disponibles.