Riepilogo Tecnico: Ragionamento Agente sulle Vulnerabilità nei Binari COM di Windows

Enunciato del Problema

I servizi del Component Object Model (COM) di Windows rappresentano una superficie di attacco critica per l'escalation dei privilegi locali (LPE). Centinaia di classi COM privilegiate vengono eseguite nei processi di servizio di Windows, spesso accessibili agli utenti autenticati tramite Remote Procedure Call (RPC). Le condizioni di gara in questi binari si verificano quando thread RPC concorrenti accedono a uno stato condiviso degli oggetti senza sincronizzazione, portando a vulnerabilità use-after-free (UAF) e double-free (DF) che consentono l'esecuzione arbitraria di codice al livello di privilegio del servizio.

Rilevare queste vulnerabilità in binari closed-source è estremamente difficile. L'analisi richiede di ragionare sulle intersezioni dei thread, sui tempi di vita degli oggetti e sui protocolli di locking attraverso funzioni in cui i compilatori ottimizzanti hanno rimosso le informazioni sui tipi e sui simboli. Gli approcci esistenti affrontano limitazioni fondamentali:

• I fuzzer guidati dalla copertura mancano di controllo sulla pianificazione dei thread per innescare intersezioni specifiche di condizioni di gara.
• Gli analizzatori statici (ad es. COMRace) si basano sull'enumerazione esaustiva delle coppie, soffrendo di un alto numero di falsi positivi a causa di aliasing errato e condizioni di input non modellate, e spesso mancano le vulnerabilità a causa di assunzioni strutturali sull'uso dei registri e sui layout delle tabelle virtuali (vtable).
• Il reverse engineering manuale non scala ai servizi COM di produzione a causa del volume delle funzioni di ingresso e della complessità del tracciamento degli accessi allo stato condiviso.

Sebbene i Large Language Models (LLM) dimostrino un forte ragionamento semantico sul codice decompilato, mancano della pipeline strutturata e degli strumenti specifici necessari per passare dalla scoperta delle vulnerabilità alla generazione verificata di proof-of-concept (PoC) in un ambiente live.

Metodologia: La Pipeline Slyp

Gli autori presentano Slyp, una pipeline agente end-to-end progettata per scoprire vulnerabilità da condizioni di gara nei binari COM di Windows e generare codice PoC verificato dal debugger. Slyp utilizza un ciclo ReAct standard (Reason-Act-Observe), potenziato con funzionalità ingegneristiche per l'analisi di binari a lungo orizzonte, e opera attraverso due fasi distinte collegate da un rapporto strutturato sulle vulnerabilità.

1. Architettura e Design dell'Agente

Slyp impiega un'architettura di agente agnostica rispetto al modello che si integra con qualsiasi agente compatibile MCP. Le principali funzionalità ingegneristiche includono:

• Gestione del Contesto: Per gestire i massicci conteggi di token generati dalla decompilazione di decine di funzioni di ingresso, Slyp utilizza checkpointing pre-compattazione. Questo preserva le scoperte cross-funzione e lo stato analitico in file esterni prima di comprimere la finestra di contesto attiva, consentendo all'agente di riprendere l'analisi senza perdere il contesto critico.
• Sistema di Memoria: Un sistema di memoria basato su file, organizzato come un indice compatto e file di argomenti, permette all'agente di memorizzare scoperte durature (riassunti delle funzioni, pattern di vulnerabilità) e recuperarle tramite ricerca BM25, bypassando la necessità di rileggere intere cronologie di interazione.
• Verifica del Compito: Un verificatore middleware esamina la traiettoria dell'agente per prevenire la terminazione prematura. Assicura che l'agente abbia eseguito un uso significativo degli strumenti e prodotto artefatti utilizzabili prima di consentire la fine della sessione, fondando le decisioni di controllo sullo stato di esecuzione piuttosto che sull'autovalutazione del modello.

2. Interfacce degli Strumenti (MCP)

Slyp espone tre categorie di interfacce di strumenti riutilizzabili del Model Context Protocol (MCP) che forniscono all'agente il contesto statico necessario, i metadati e il feedback dinamico:

• Esplorazione dei Binari (Fase 1): Costruiti su IDA Pro, questi strumenti forniscono decompilazione con risoluzione integrata delle chiamate virtuali (cruciale per risolvere i puntatori vtable in COM), disassemblaggio, riferimenti incrociati e navigazione del grafo delle chiamate. Ciò permette all'agente di tracciare i flussi di dati dello stato condiviso e identificare i candidati per le condizioni di gara.
• Ispezione COM (Fase 2): Costruiti su OleViewDotNet, questi strumenti forniscono accesso on-demand ai metadati COM live, inclusa l'enumerazione del registro, le dichiarazioni delle interfacce, i descrittori di sicurezza (permessi di avvio/accesso) e le firme dei metodi (IDL/C++). Ciò permette all'agente di comprendere i requisiti di attivazione e generare codice scheletro.
• Debug Dinamico (Fase 2): Costruiti su WinDbg e MSVC, questi strumenti supportano un ciclo iterativo di compilazione-esecuzione-debug. L'agente compila codice PoC C++, lo esegue contro un servizio COM live in una VM QEMU isolata e cattura dump di crash, stack di chiamate e stati dei registri. Questo ciclo affina il PoC fino a quando non viene catturato un crash verificato dal debugger.

3. Flusso di Lavoro

• Fase 1 (Scoperta): L'agente utilizza gli strumenti di esplorazione dei binari per navigare nel codice decompilato, risolvere le chiamate virtuali, tracciare i flussi di dati e identificare vulnerabilità da condizioni di gara attraverso le funzioni di ingresso target.
• Fase 2 (Generazione PoC): Utilizzando il rapporto sulle vulnerabilità dalla Fase 1, l'agente utilizza gli strumenti di ispezione COM per recuperare i metadati di attivazione e generare un PoC scheletro. Successivamente, entra in un ciclo iterativo utilizzando gli strumenti di debug dinamico per affinare il codice, regolare la temporizzazione dei thread e verificare la vulnerabilità attraverso crash reali.

Contributi Chiave

1. Interfacce di Strumenti MCP Riutilizzabili: Gli autori hanno costruito tre categorie di strumenti (Esplorazione dei Binari, Ispezione COM, Debug Dinamico) che si integrano con qualsiasi agente compatibile MCP, fungendo da principali motori sia per la scoperta che per la generazione di PoC.
2. Pipeline Agente End-to-End (Slyp): Un sistema che combina un ciclo ReAct con specifiche funzionalità ingegneristiche (checkpointing, memoria, verifica) per l'analisi di binari a lungo orizzonte. Supera gli agenti di codifica di produzione sia nella scoperta delle vulnerabilità che nella generazione di PoC.
3. Costruzione di Benchmark: Un dataset di 20 oggetti COM che copre 40 casi di vulnerabilità con etichette ground-truth verificate manualmente, inclusi 8 CVE 1-day scoperti indipendentemente per una validazione priva di circolarità.
4. Impatto nel Mondo Reale: La scoperta di 28 vulnerabilità zero-day precedentemente sconosciute in 9 servizi Windows di produzione, tutte confermate dal Microsoft Security Response Center (MSRC).

Risultati Sperimentali

Gli autori hanno valutato Slyp rispetto agli agenti di codifica di produzione all'avanguardia (Codex e Claude Code) su sei modelli backbone e rispetto a una riproduzione dell'analizzatore statico all'avanguardia (COMRace++).

• Scoperta delle Vulnerabilità: Su un benchmark di 20 oggetti COM (40 casi), Slyp ha raggiunto un punteggio F1 di 0,973 (utilizzando GPT-5.4). Ciò ha superato gli agenti di produzione con strumenti minimi predefiniti (0,724–0,910 F1) e l'analizzatore statico all'avanguardia COMRace++ (0,299 F1) di un fattore di 3,3×. Anche con strumentazione minima, gli agenti di produzione erano in ritardo rispetto a Slyp, con gap fino a 0,208 F1.
• Generazione PoC: Gli agenti di produzione senza gli strumenti specifici di ispezione COM e debug dinamico di Slyp hanno risolto essenzialmente lo 0% dei casi. Con l'insieme completo di strumenti, la migliore configurazione di Slyp (Opus 4.6) ha raggiunto un tasso di verifica del 67,5% (27/40 casi). Le quattro configurazioni superiori hanno collettivamente risolto 34 casi su 40 (85,0%).
• Deployment nel Mondo Reale: Deployato su servizi Windows di produzione, Slyp ha scoperto 28 vulnerabilità zero-day. MSRC ha confermato tutti i 28 casi, assegnando 16 CVE e elargendo 140.000 dollari in premi. Le vulnerabilità hanno consentito l'escalation dei privilegi locali da integrità Bassa/Media a Sistema.

Significato e Affermazioni

Il documento afferma che Slyp rappresenta la prima pipeline agente end-to-end capace di scoprire autonomamente vulnerabilità zero-day da condizioni di gara in binari di produzione e generare PoC verificati dal debugger senza accesso al codice sorgente.

Gli autori sottolineano che, sebbene gli LLM possiedano forti capacità di ragionamento semantico, richiedono un'impalcatura strutturata e strumenti specifici di dominio per essere efficaci in compiti complessi di analisi binaria. Slyp dimostra che un approccio agente, che combina ragionamento semantico con validazione iterativa e debug dinamico, supera significativamente sia l'analisi statica tradizionale (che lotta con falsi positivi e limitazioni strutturali nei binari) sia gli agenti di codifica di produzione non guidati.

Il lavoro evidenzia che la combinazione di esplorazione dei binari, ispezione dei metadati specifici per COM e debug dinamico è essenziale per colmare il divario tra la scoperta delle vulnerabilità e le prove di sfruttamento attuabili. La pipeline è progettata per essere generalizzabile, suggerendo applicabilità ad altri binari commerciali pronti all'uso (COTS) oltre ai servizi COM di Windows.