Analisador de Código Estático baseado em AST com Mapeamento de Relacionamentos Potencializado por LLM Agêntico para descobrir caminhos de RCE em Python e cadeias profundas de desserialização em IA, LLM, Robótica, Ciência de Dados, Aprendizado de Máquina e Aprendizado Profundo (mas não limitado a).

Muito além de um scanner tradicional, ele fornece um framework genérico e de alto desempenho para auditar mais de 120 bibliotecas e formatos — incluindo YAML, Msgpack, CBOR e hooks JSON personalizados — onde a confiança tradicional em serialização "segura" esconde vetores críticos de RCE baseados em lógica. Ao resolver imports, aliases e atributos pontilhados complexos, a ferramenta atua como um amplificador de sinal de alta fidelidade que prioriza caminhos de código perigosos em arquiteturas distribuídas modernas e repositórios de IA/ML.
O projeto opera através de um fluxo de trabalho modular e multifásico que transita da detecção bruta para a auditoria técnica profunda. Após o scan SAST inicial de alta velocidade, o ecossistema utiliza mapeadores de relacionamento especializados para rastrear fluxos de execução e processadores de resultados para gerar relatórios de segurança detalhados. Essa abordagem sistemática garante que cada descoberta seja contextualizada dentro da arquitetura mais ampla da aplicação, transformando telemetria de alto volume em ativos de pesquisa acionáveis e marcos estruturados que simplificam o mapeamento de superfícies de ataque em nível de infraestrutura.
Em seu nível mais avançado, o Deserializer integra um Agente Autônomo de Segurança com IA (Fase 4), projetado explicitamente para navegar pelas limitações de "self-command-injection" e sintetizar guias de reprodução funcionais, com base na API de inferência do HuggingFace, LLM Local (como llama.cpp) ou API compatível com OpenAI.
À medida que o projeto evolui, ele continua a definir a fronteira da pesquisa automatizada de vulnerabilidades, preenchendo a lacuna entre análise estática de árvore de sintaxe abstrata, mapeamento de relacionamentos, relatórios e desenvolvimento funcional de exploits com base em pesquisa documentada.
O Deserializer apoia diretamente a pesquisa de segurança ao localizar caminhos de RCE e Desserialização Insegura em vários projetos e ambientes de grande escala de IA, Robótica e Ciência de Dados, como Genesis World (v0.2.1), MuJoCo (v3.7.0), LeRobot (v0.5.1), Brax (v0.14.2), TensorFlow (v2.21.0), LangGraph (v1.1.6), VibeVoice (v0.0.1), Hugging Face Hub (v1.11.0), PyGlove (v0.4.5) e muitos outros.
Suas capacidades impulsionaram diretamente a descoberta de vulnerabilidades críticas em frameworks líderes do setor, comprovando sua eficácia na auditoria de ambientes complexos de MLOps e IA agêntica.
O projeto está estruturado em quatro fases distintas, cada uma projetada para deslocar a análise de telemetria automatizada de alto volume para pesquisa de segurança profunda e funcional:
| Fase | Título | Ferramenta / Motor | Objetivo |
|---|---|---|---|
| 1 | Detecção de Alta Velocidade | deserializer.py (Triple-Pass) | Realizar SAST em larga escala para identificar potenciais sinks de desserialização. |
| 2 | Mapeamento de Relacionamentos | Processadores de Resultados / Mapeadores | Contextualizar descobertas rastreando fluxos de execução e interdependências de componentes. |
| 3 | Síntese Técnica | Documentação de Pesquisa | Formalizar descobertas em writeups técnicos, mapeando superfícies de ataque em nível de infraestrutura. |
| 4 | Agente Autônomo de IA | Agente de Segurança com IA | Automatizar a descoberta de 0-day e gerar guias/exploits de reprodução funcionais usando a API de inferência do HuggingFace, LLM Local (como llama.cpp) ou API compatível com OpenAI. |
Um mapa de alto nível da organização do repositório e o propósito técnico de cada diretório especializado:
agent/docs/exploit_development/modules/reports/research/templates/Este scanner possui um motor de execução paralela de alto desempenho construído sobre o concurrent.futures.ProcessPoolExecutor do Python. Ele foi projetado para escalar por todos os núcleos de CPU disponíveis (controlável via a flag -j ou --concurrency), tornando-o capaz de escanear dezenas de milhares de arquivos em segundos.
SetConsoleCtrlHandler nativo via ctypes para garantir que Ctrl+C seja 100% responsivo, mesmo durante processamento pesado.ctypes para suporte nativo a cores ANSI em ambientes modernos de CMD e PowerShell.[!WARNING] Aviso de Desempenho: Ao analisar arquivos extremamente grandes ou complexos (por exemplo, com mais de 1MB, 2MB ou 3MB de tamanho), a ferramenta pode apresentar lentidão significativa ou parecer "travada" ao analisar árvores AST profundas. Se você encontrar tais gargalos, considere usar as flags
--timeout(para pular arquivos lentos) e--max-size(para pular arquivos enormes) para manter a velocidade do scan.