John Högberg

A complexidade algorítmica ineficiente no decodificador asn1 OBJECT IDENTIFIER permite que um invasor remoto não autenticado cause a negação de serviço ao enviar um OID manipulado durante o handshake TLS. O problema ocorre porque o decodificador acumula um subidentificador base-128 em um inteiro ilimitado, resultando em um trabalho total quadrático em relação ao tamanho de um único subidentificador. Este comportamento está presente na função `asn1rtt ber:dec subidentifiers/3` em `lib/asn1/src/asn1rtt ber.erl`, na função `asn1rtt per common:dec subidentifiers/3` em `lib/asn1/src/asn1rtt per common.erl` e na função `asn1rtt jer:json2oid/1` em `lib/asn1/src/asn1rtt jer.erl`. O decodificador vulnerável é gerado em cada módulo ASN.1 que contém um OBJECT IDENTIFIER, incluindo o `OTP-PUB-KEY` durante a análise de certificados X.509 via `public key:pkix decode cert/2`. Como esse processo ocorre antes da verificação de assinatura ou da cadeia de confiança, qualquer serviço Erlang que analise certificados TLS de pares, como clientes TLS ou servidores mutual-TLS, está exposto.

A validação inadequada da quantidade especificada na entrada no stdlib permite que um invasor remoto degrade a disponibilidade ao fornecer uma URI cujo componente de porta seja uma sequência muito longa de dígitos. A função `uri string:get port/1` passa a substring da porta para `binary to integer/1` sem limite de comprimento. Consequentemente, uma porta sintaticamente válida de até aproximadamente 1,26 milhão de dígitos pode ser convertida com sucesso, consumindo centenas de milissegundos de aritmética de precisão arbitrária no processo solicitante. Essa conversão é alcançada por todos os caminhos de análise de autoridade em `uri string:parse/1`, incluindo as formas de host, nome registrado, IPv4 e IPv6. Qualquer aplicação que utilize `uri string:parse/1` para analisar URIs fornecidas por invasores está exposta.

Um invasor remoto não autenticado pode encerrar permanentemente o Erlang Port Mapper Daemon (epmd) através do esgotamento de slots de conexão. A função `do accept()` em `erts/epmd/src/epmd srv.c` chama incorretamente `epmd cleanup exit()` quando `accept(2)` retorna EMFILE (limite de descritores de arquivo por processo atingido) ou ENFILE (limite de descritores de arquivo do sistema atingido), tratando-os como condições fatais em vez de recuperáveis. Um invasor pode explorar isso mantendo inúmeras conexões TCP e enviando periodicamente um único byte para evitar o tempo limite de inatividade até que o limite de descritores de arquivo seja atingido, derrubando o daemon. Como o epmd não possui um limite de conexão por IP de origem, isso é possível a partir de uma única fonte. Em sistemas Debian e Ubuntu, o impacto é ampliado porque limites baixos de descritores de arquivo e limites de taxa de inicialização do systemd podem levar a uma falha permanente do `epmd.service` e `epmd.socket`, exigindo intervenção manual.

Uma falha de traversal de caminho relativo no módulo zip da stdlib permite a gravação de arquivos fora do diretório de extração pretendido ao processar um arquivo zip manipulado. As funções `zip:unzip/1,2` e `zip:extract/1,2` utilizam `zip:check dir level/2` para validar caminhos de entrada rastreando a profundidade do diretório com um contador inteiro. Como a validação apenas rejeita caminhos onde o valor final do contador é negativo, um caminho como `../x/y` pode fazer com que o contador fique negativo durante a travessia e depois retorne a zero, ignorando a verificação e resolvendo para um local fora do diretório de extração via `add cwd`. Este problema está localizado no arquivo `lib/stdlib/src/zip.erl`.

A aplicação ssl não detecta ciclos ao reconstruir uma cadeia de certificados de pares incompleta durante um handshake TLS ou DTLS. Especificamente, a função `handle incomplete chain/5` passa a cadeia para `build certificate chain/5`, que então utiliza `do certificate chain/7` para percorrer relações de emissor sem limite de profundidade ou detecção de ciclos. Se um par fornecer dois certificados assinados mutuamente de forma desordenada, o sistema entra em recursão indefinida, fazendo com que a pilha de chamadas e o acumulador de cadeia cresçam sem limites. Um invasor remoto não autenticado pode explorar isso enviando uma cadeia de certificados manipulada em uma mensagem de handshake para esgotar a memória e travar o nó BEAM. Isso afeta tanto servidores quanto clientes e requer apenas uma conexão TCP e um handshake parcial.

Um subfluxo de inteiro (integer underflow) existe no decodificador External Term Format (ETF) dentro do manipulador da tag `BIT BINARY EXT` (77). Quando o decodificador aceita uma codificação onde os campos de comprimento e bits finais são definidos como zero, o cálculo do tamanho da string de bits sofre um underflow em um inteiro sem sinal. Isso resulta em um valor extremamente grande (aproximadamente 2^64) sendo passado como tamanho de alocação de memória, fazendo com que o alocador aborte todo o nó. Este aborto em nível de VM não pode ser interceptado por árvores de supervisão, blocos try/catch ou pela opção `[safe]` em `binary to term/2`. Aplicações que decodificam ETF de fontes não confiáveis usando `binary to term/1,2` ou `enif binary to term()` estão expostas. O protocolo de distribuição Erlang também utiliza este caminho de código, embora seja destinado a redes confiáveis.