[PESQUISA] [PoC-DAST]: Executar e Avaliar Fuzzing com Foundry

[Eduwilll]

Pergunta a ser Respondida / Objetivo

Como a experiência de fuzzing nativo do Foundry se compara a uma ferramenta externa como o Echidna em termos de facilidade de uso, integração e poder de detecção?

Escopo da Pesquisa

• Configurar o projeto de teste para ser compatível com o Foundry.
• Avaliar a experiência de desenvolvimento (DX) de escrever testes de fuzzing diretamente em Solidity.

Entregáveis Esperados

• Criar um arquivo de teste para Foundry (e.g., test/Foundry.t.sol) que implemente as mesmas 2-3 propriedades testadas com o Echidna.
• Executar o forge test com fuzzing habilitado e documentar os resultados.
• Salvar a saída da falha, incluindo o contraexemplo gerado pelo Foundry.
• Escrever um resumo comparativo na Wiki:
  • Diferenças na sintaxe de teste entre Echidna e Foundry.
  • Prós e contras da abordagem integrada vs. externa.