CVE-2026-24783

Nome do Software Vulnerável e Versões Afetadas soroban-fixed-point-math versões 1.3.0 a 1.4.0

Descrição A função mulDiv(x, y, z) no soroban-fixed-point-math lida incorretamente com casos em que tanto o produto intermediário x * y quanto o divisor z são negativos. A lógica assume incorretamente que, se o produto intermediário for negativo, o resultado final também deve ser negativo, negligenciando o sinal de z. Isso resulta na aplicação do arredondamento na direção errada quando tanto x * y quanto z são negativos. Este problema afeta todas as implementações de FixedPoint e SorobanFixedPoint com sinal, incluindo i64, i128 e I256. Para a implementação i64, pode ocorrer um estouro negativo, pois o código não verifica i64::MIN. As funções mais suscetíveis são fixed div floor e fixed div ceil, já que frequentemente utilizam números não constantes como divisor z em mulDiv.

Recomendações A versão 1.3.0 deve ser atualizada para a versão 1.3.1. A versão 1.4.0 deve ser atualizada para a versão 1.4.1.