Como modelos de IA open-weight detectam, e confundem, uma falha RCE de 17 anos no FreeBSD

O Mythos da Anthropic não apenas detectou a CVE-2026-4747 no FreeBSD, uma falha de stack buffer overflow no handler RPCSEC_GSS do NFS, com 17 anos de existência e potencial para RCE não autenticado, como também a explorou autonomamente: construiu uma cadeia ROP de 20 gadgets em seis pacotes NFS sequenciais para obter acesso root. Isso foi feito sem intervenção humana após o prompt inicial, em quatro horas de computação. O AISLE, framework que opera com modelos open-weight como Gemma 3 e GPT-OSS-20b, replicou o achado varrendo sys/rpc, mas gerou ruído significativo até aplicar a etapa de reachability, filtro que descarta caminhos inalcançáveis por atacantes reais, reduzindo falsos positivos em até 95% dos casos validados por revisores.

A vulnerabilidade explora um erro crônico na verificação de tamanho: o código copia até 400 bytes para um buffer de stack de 128 bytes, ignorando limites reais de entrada. Modelos como o Opus 4.7 e GLM-5.1 já haviam demonstrado desempenho superior nesse tipo de detecção em testes anteriores com a falha crackaddr, mas o caso do FreeBSD mostra que a combinação de modelo especializado (Mythos), framework estruturado (AISLE) e análise de acessibilidade é o que transforma detecção genérica em inteligência operacional, ou seja, listas curtas, acionáveis, com contexto de exploração realista.

Em 27 de maio, o CEVIU relatou o Project Glasswing como uma iniciativa de acesso restrito ao Mythos Preview. Em 25 de maio, destacamos que ele havia encontrado 'milhares de vulnerabilidades', mas sem detalhes técnicos de exploração. Agora, em 5 de junho, a cobertura mostra o Mythos indo além da detecção: ele executa a exploração completa da CVE-2026-4747, com ROP e entrega de acesso root, algo nunca documentado publicamente antes. Também é a primeira vez que o CEVIU registra a integração funcional entre Mythos, AISLE e modelos open-weight (Gemma, GPT-OSS) em um único fluxo de descoberta validada, com etapa de reachability como fator decisivo para viabilidade operacional.

Empresas que dependem de infraestrutura FreeBSD, bancos, provedores de nuvem e órgãos públicos, agora precisam priorizar a atualização imediata, pois a falha permite RCE não autenticado. Mais grave: o método usado (análise de reachability + IA nativa) já está sendo replicado em ferramentas como o Inspect da Ramp, que em 28 de maio encontrou bugs de alta severidade com prompts mínimos. Isso significa que equipes de segurança não podem mais confiar apenas em scanners tradicionais ou em revisão manual de código antigo, o risco está em subsistemas esquecidos, como sys/rpc, e a detecção eficaz exige pipelines que filtrem o que é teoricamente vulnerável do que é realmente explorável.