I binari precompilati verranno pubblicati nella sezione Releases tramite il workflow di release.

Entrambi producono payload byte-identici (garantito da un test di parità CI). Se il lab è in esecuzione:

Output atteso: 1 risposta HTTP (WebSocket upgrade rejected). Poi verifica:

Un conteggio del backend > 0 e un conteggio di Nginx = 0 significano che lo split CWE-444 è confermato. Questo PoC invia un singolo segmento TCP — il corpo è la richiesta contrabbandata; Nginx lo tratta come corpo, aiohttp lo tratta come una seconda richiesta.

Cosa dimostra

• Confusione del parser: aiohttp 3.14.1 _http_parser.pyx restituisce 2 (salta il corpo) al rilevamento dell'upgrade prima che il corpo sia consumato (riga ~863). I byte del corpo rimangono in _message_tail e vengono reimmessi nel parser in web_protocol.py finish_response (riga ~771).
• Split CWE-444: Il frontend vede 1 richiesta con corpo; il backend vede 2 richieste in pipeline. Discrepanza nel conteggio delle richieste nei log.
• Bypass del controllo di accesso: quando Nginx ha location /admin { deny all; }, la /admin contrabbandata raggiunge comunque il backend perché le decisioni di routing di Nginx vengono prese solo sulla richiesta esterna.
• Nessuna correzione a livello di handler: await request.read() restituisce 0 byte sulle richieste di upgrade in 3.14.1 — il corpo è trattenuto al di sotto del livello handler. Applica la patch, oppure rimuovi le intestazioni di upgrade sul proxy per le route che non devono cambiare protocollo.

Lab completo

Servizi:

Risultati completi delle fasi 1-3 in findings/.

Limitazioni (oneste)

• Il proxy deve inoltrare le intestazioni di upgrade. Le configurazioni Nginx che inviano Connection: close al backend o rimuovono le intestazioni Connection/Upgrade non sono vulnerabili. La configurazione che espone lo split è lo snippet map WebSocket canonico dalla documentazione di proxy di Nginx.
• La risposta contrabbandata viene assorbita dal proxy. Nella catena Nginx dimostrata, l'attaccante riceve solo la risposta /ws esterna. L'evidenza del contrabbando è nei log del backend, non nella risposta dell'attaccante — una primitiva cieca e unidirezionale in questa topologia. Altre topologie di proxy non sono state testate.
• Il framing chunked è di fatto specifico del CL. Direttamente contro aiohttp, Transfer-Encoding: chunked NON provoca contrabbando — la riga grezza della dimensione del chunk (es. 3e) arriva al parser come metodo non valido e la connessione muore. Attraverso Nginx funziona, ma tramite normalizzazione: Nginx de-chunka il corpo e inoltra un Content-Length sintetizzato, quindi il backend viene sfruttato attraverso lo stesso percorso CL. Il flag --chunked dimostra il percorso del proxy.
• Richiede un endpoint che rifiuta gli upgrade WebSocket. L'handler deve restituire una risposta non-WebSocketResponse. La maggior parte delle app che non usano WebSocket su una route rifiutano per impostazione predefinita (il framework restituisce 404 o passa al prossimo handler).

File

Rilevamento

Vedi findings/fase3-deteccao.md per l'analisi completa. Riepilogo, con le avvertenze che contano in produzione:

1. Discrepanza nel conteggio delle richieste (backend > frontend) sulla stessa connessione. Nota: il backend registra l'IP del proxy, non quello del client — la correlazione richiede la normalizzazione di X-Forwarded-For/Proxy Protocol, oppure il logging di un ID di connessione upstream + sequenza richieste per connessione. Solo IP client + finestra temporale è debole (NAT, keep-alive, concorrenza).
2. Richiesta del backend senza corrispondenza nel frontend: un percorso ristretto nel log del backend senza voce corrispondente nel log di accesso del frontend. Filtra le sottoreti interne (gli health check che bypassano il proxy danno falsi positivi).
3. Rifiuto dell'upgrade + percorso diverso dallo stesso client in ~100 ms. Confidenza media — il pipelining legittimo produce intervalli simili; il logger del lab non registra la porta remota/ID di connessione, quindi "nessuna nuova handshake TCP" NON è qualcosa che questi dati dimostrano.
4. Middleware per il corpo trattenuto (content_length vs byte da request.read()): scatta su 3.14.1, silenzioso su 3.14.2. Rileva, non mitiga. Limitane l'ambito (route candidate per upgrade, corpi piccoli, stati non-101) — la versione ingenua bufferizza ogni corpo in memoria.
5. reqlen di edge oltre la baseline delle intestazioni sugli endpoint WebSocket — confidenza bassa da solo (cookie/JWT/intestazioni di tracing sono rumorosi), ma l'unico segnale edge quando il client non invia Content-Length (ingresso chunked).