[PESQUISA] [PoC-DAST]: Avaliar Execução Simbólica com Manticore/Mythril

[Eduwilll]

Pergunta a ser Respondida / Objetivo

As ferramentas de execução simbólica conseguem encontrar vulnerabilidades em nossos contratos de teste que o fuzzing pode ter deixado passar? Qual o custo em termos de performance e complexidade?

Escopo da Pesquisa

• Escolher uma das ferramentas (Manticore é a mais moderna, Mythril é o clássico) para uma análise aprofundada, para evitar duplicação de esforço.
• Focar em um caso de uso específico, como verificar se existem condições que levam a um assert ou revert.

Entregáveis Esperados

• Configurar e executar a ferramenta de execução simbólica escolhida contra um dos contratos de teste.
• Analisar o relatório gerado. A ferramenta encontrou alguma vulnerabilidade conhecida?
• Documentar a performance (tempo de execução) e o consumo de recursos (CPU/memória) de forma qualitativa.
• Escrever um resumo na Wiki sobre o papel da execução simbólica em nosso pipeline: é uma ferramenta para rodar em cada PR ou algo para análises mais profundas e esporádicas?