Binários pré-compilados serão publicados em Releases por meio do fluxo de trabalho de release.

Ambos produzem payloads byte-idênticos (garantido por um teste de paridade na CI). Se o laboratório estiver em execução:

Saída esperada: 1 resposta HTTP (WebSocket upgrade rejected). Em seguida, verifique:

A contagem no backend > 0 e a contagem no Nginx = 0 significa que a divisão CWE-444 foi confirmada. Este PoC envia um único segmento TCP — o corpo é a requisição contrabandeada; o Nginx o trata como corpo, o aiohttp o trata como uma segunda requisição.

O que isto prova

• Confusão no parser: o aiohttp 3.14.1 _http_parser.pyx retorna 2 (pular corpo) na detecção de upgrade antes que o corpo seja consumido (linha ~863). Os bytes do corpo permanecem em _message_tail e são realimentados ao parser em web_protocol.py finish_response (linha ~771).
• Divisão CWE-444: o frontend vê 1 requisição com corpo; o backend vê 2 requisições em pipeline. Divergência na contagem de requisições nos logs.
• Bypass de controle de acesso: quando o Nginx tem location /admin { deny all; }, o /admin contrabandeado ainda chega ao backend porque as decisões de roteamento do Nginx são tomadas apenas com base na requisição externa.
• Nenhuma correção no nível do handler: await request.read() retorna 0 bytes em requisições de upgrade no 3.14.1 — o corpo é retido abaixo da camada do handler. Aplique o patch ou remova os cabeçalhos de upgrade no proxy em rotas que não devem trocar de protocolo.

Laboratório completo

Serviços:

Resultados completos das Fases 1 a 3 em findings/.

Limitações (honestas)

• O proxy precisa encaminhar os cabeçalhos de upgrade. Configurações do Nginx que enviam Connection: close ao backend ou removem os cabeçalhos Connection/Upgrade não são vulneráveis. A configuração que expõe a divisão é o trecho canônico map para WebSocket da própria documentação de proxy do Nginx.
• A resposta contrabandeada é absorvida pelo proxy. Na cadeia Nginx demonstrada, o atacante recebe apenas a resposta externa /ws. A evidência do contrabando está nos logs do backend, não na resposta ao atacante — uma primitiva cega e unidirecional nessa topologia. Outras topologias de proxy não foram testadas.
• O enquadramento chunked é, na prática, específico de CL. Diretamente contra o aiohttp, Transfer-Encoding: chunked NÃO contrabandeia — a linha bruta de tamanho de chunk (ex.: 3e) chega ao parser como um método inválido e a conexão morre. Através do Nginx funciona, mas por normalização: o Nginx remove o chunking do corpo e encaminha um Content-Length sintetizado, então o backend é explorado pelo mesmo caminho CL. A flag --chunked demonstra o caminho via proxy.
• Requer um endpoint que rejeite upgrades WebSocket. O handler deve retornar uma resposta que não seja WebSocketResponse. A maioria dos apps que não usa WebSockets em uma rota rejeita por padrão (o framework retorna 404 ou passa para o próximo handler).

Arquivos

Detecção

Consulte findings/fase3-deteccao.md para a análise completa. Resumo, com as ressalvas que importam em produção:

1. Divergência na contagem de requisições (backend > frontend) na mesma conexão. Observe que o backend registra o IP do proxy, não o do cliente — a correlação exige normalizar X-Forwarded-For/Proxy Protocol, ou registrar um ID de conexão upstream + a sequência de requisições por conexão. Apenas IP do cliente + janela de tempo é fraco (NAT, keep-alive, concorrência).
2. Requisição no backend sem correspondência no frontend: um caminho restrito no log do backend sem entrada correspondente no log de acesso do frontend. Filtre sub-redes internas (health checks que contornam o proxy geram falso-positivo).
3. Rejeição de upgrade + caminho diferente do mesmo cliente em ~100 ms. Confiança média — pipelining legítimo produz intervalos semelhantes; o logger do laboratório não registra porta remota/ID de conexão, então "sem novo handshake TCP" NÃO é algo que esses dados demonstram.
4. Middleware de corpo retido (content_length vs bytes de request.read()): dispara no 3.14.1, fica silencioso no 3.14.2. Detecta, não mitiga. Defina o escopo (rotas candidatas a upgrade, corpos pequenos, status não-101) — a versão ingênua armazena todo corpo em memória.
5. reqlen de borda acima da linha de base de cabeçalhos em endpoints WebSocket — baixa confiança isoladamente (cookies/JWT/cabeçalhos de rastreamento geram ruído), mas o único sinal de borda quando o cliente não envia Content-Length (entrada chunked).