---

Informazioni del Supervisore

Informazioni dello Studente

Informazioni del Corso

---

📌 Informazioni sul Progetto (CVE-2023-4863)

Questo progetto è stato preparato per analizzare a scopo educativo la vulnerabilità CVE-2023-4863 (libwebp Heap Buffer Overflow) e mostrare praticamente come tali anomalie possano essere rilevate nei sistemi dal lato difensivo (Blue Team).

Dettagli della Vulnerabilità

• CVE ID: CVE-2023-4863
• Componente Target: libwebp (libreria per l'elaborazione del formato immagine WebP)
• Tipo di Vulnerabilità: Heap Buffer Overflow (Overflow del Buffer nello Heap)
• Livello di Criticità: Critico (CVSS 10.0)

Impatto della Vulnerabilità

Questa vulnerabilità ha interessato direttamente molti ecosistemi del web:

• Browser web basati su Chromium come Google Chrome, Microsoft Edge, Brave, Opera
• Applicazioni desktop che utilizzano l'infrastruttura Electron/Chromium come 1Password, Signal, Discord, Skype
• Applicazioni mobili e componenti grafici del sistema operativo che utilizzano libwebp

Come Avviene l'Attacco?

1. L'attaccante crea un file WebP (formato lossless VP8L) appositamente predisposto, contenente una tabella di Huffman malintenzionata e asimmetrica.
2. Mentre il sistema target cerca di elaborare l'immagine, la funzione ReadHuffmanCodes alloca nello heap meno spazio del necessario per la tabella.
3. Durante la costruzione della tabella (BuildHuffmanTable), si verifica una scrittura fuori dai limiti (Out-Of-Bounds Write) dello spazio di memoria allocato.
4. A seguito dell'overflow del buffer, l'attaccante può sovrascrivere le strutture di controllo adiacenti nell'heap ottenendo la capacità di esecuzione di codice in remoto (RCE).

Componenti di Difesa e Test (Focus Blue Team)

Per ragioni di sicurezza, nel sistema non è presente alcun codice Red Team reale e armato (exploit). La vulnerabilità viene testata a livello strutturale.

• src/blue_team/webp_scanner.py: Analizza staticamente le strutture dei chunk WebP e rileva dimensioni anomale.
• src/blue_team/WebpValidator.java: Esempio di codice difensivo Java che simula scenari di upload di file, impedisce la falsificazione delle dimensioni con logica fail-fast e gestisce file danneggiati senza crash (senza sollevare eccezioni).
• src/red_team/poc.py: Generatore di test educativo che non contiene un vero payload, ma segnala intenzionalmente una dimensione fittizia del chunk di 60MB per testare se gli strumenti di analisi Blue Team si attivano.
• Docker e Valgrind: Un laboratorio completamente isolato creato con libwebp-1.3.1 vulnerabile. Analisi dinamica tramite Valgrind attraverso lo script analyze_memory.sh per l'esame degli errori di memoria (Invalid Write).

Dashboard Web

I risultati di sicurezza vengono registrati tramite l'infrastruttura del logger JSON e visualizzati in modo asincrono e live grazie alla Blue Team Dashboard (HTML/JS/CSS) situata nella directory src/public.

Demo dell'Interfaccia