Ksj1230

**Nome do Software Vulnerável e Versões Afetadas** smallbitvec (versões afetadas não especificadas) **Descrição** Ocorre um estouro de inteiro (integer overflow) durante o cálculo interno de capacidade na função `buffer len(cap)`. Quando a variável `cap` está próxima de `usize::MAX`, a aritmética não verificada faz com que o valor sofra um wrap around em builds de release, levando a uma alocação de heap subdimensionada. Isso cria uma discrepância onde os metadados internos refletem um tamanho maior do que o buffer efetivamente alocado. Consequentemente, chamadas de API seguras, como `set`, `push` e `reserve`, realizam computações de índice baseadas nesses metadados corrompidos, resultando em acesso à memória fora dos limites e um estouro de buffer de heap (heap buffer overflow). **Recomendações** No momento, não há informações sobre uma versão mais recente que contenha a correção para esta vulnerabilidade.

**Nome do Software Vulnerável e Versões Afetadas** Grid versões 0.17.0 até 1.0.0 **Descrição** Um estouro de número inteiro (integer overflow) na função `expand rows()` pode corromper a relação entre as dimensões lógicas da grade e seu armazenamento de suporte. Isso ocorre porque a função calcula o novo comprimento de suporte usando aritmética não verificada. Se o cálculo exceder o limite, o armazenamento de suporte pode ser redimensionado para um comprimento menor do que o necessário. Consequentemente, a API segura `get()` pode invocar `get unchecked()` com um índice inválido, levando ao Comportamento Indefinido (Undefined Behavior), que é um estado onde o comportamento do programa não é mais previsível e pode resultar em falhas ou negação de serviço. **Recomendações** Atualizar para a versão 1.0.1.

**Nome do Software Vulnerável e Versões Afetadas** Bytes versões 1.2.1 a 1.11.0 **Descrição** A biblioteca Bytes contém uma falha na função `BytesMut::reserve` que pode levar a um estouro de inteiro. Especificamente, uma adição não verificada no caminho de recuperação do `BytesMut::reserve` pode causar o cálculo incorreto da capacidade alocada quando `new cap + offset` estoura um valor `usize` em compilações de release. Isso pode resultar no valor de `cap` sendo definido como um valor que excede a capacidade alocada real. Chamadas subsequentes a funções como `spare capacity mut()` podem então criar fatias fora dos limites, levando a comportamento indefinido. Esse problema é observável em compilações de release, enquanto compilações de debug disparam um panic devido às verificações de estouro. **Recomendações** Atualize para a versão 1.11.1 do Bytes ou posterior.