Abrir pasta
Selecione a pasta do projeto no chat.
Fluxos de trabalho
fluxo de auditoria de contrato inteligente
03
Revise um contrato de token localmente
Abra a pasta, leia o código, execute os testes e verifique as alterações antes de aceitar as mudanças nos seus arquivos.
Listar arquivos
Liste os arquivos de contrato no diretório.
Ler código
Leia o código-fonte do contrato principal.
Executar testes
Execute o comando de teste e
Exemplo de log de achados
Revise o contrato do token quanto a riscos de reentrância e problemas de controle de acesso.
- list_dir
.5 arquivos - read_file
Token.sollido - grep
external call3 correspondências - write_file
findings-log.txtsalvo
aguardando sua aprovação antes da próxima etapaRejeitarAceitar
findings-log.txt
# Token Contract Review
Scope: ERC-20 token implementation
Test: local unit tests passed
Finding: Missing reentrancy guard
Severity: High
Location: transfer function
Fix: Add nonReentrant modifier
Status: Pending reviewUm log de achados em texto simples mostrando o escopo, os resultados dos testes e um achado específico com severidade e localização para um contrato de token.
Aprenda as etapas de auditoria de contratos inteligentes
Ler e pesquisar código
O agente usa list_dir e glob para encontrar todos os arquivos de contrato na sua pasta de trabalho, e read_file abre o código-fonte principal para inspeção. Este é o início. Auditores encontram vulnerabilidades em contratos inteligentes lendo o código manualmente. Ele executa grep para buscar todas as chamadas externas, verificações de acesso e alterações de estado em todo o projeto. Você vê os resultados da pesquisa imediatamente no chat para verificar cada linha de código relevante. A falha de segurança após o lançamento é uma grande preocupação para qualquer protocolo implantado. Esta etapa de revisão manual apoia uma auditoria de segurança estruturada de contratos inteligentes antes da implantação. Aprenda auditoria de contratos inteligentes para entender a lógica antes que o agente sugira qualquer alteração na base de código.
Executar testes e revisar
O agente usa Shell para executar seu comando de teste e seu comando de verificação estática no seu PC, para que ele salve a saída em um arquivo de texto para referência e redija achados. Você pode revisar esses diffs. Revisar esses diffs ajuda você a entender todo o processo de auditoria claramente. Começar com auditoria de solidity envolve ler o código manualmente. A ferramenta usa write_file para redigir notas de achados e correções propostas. Ela mostra um diff antes de você aceitar qualquer alteração nos seus arquivos. Você pode alternar para o modo Ask first para pausar antes de cada ação que altere algo. Testes aprovados confirmam que a correção resolve o problema, mas uma pessoa ainda revisa o diff.
