crytic/echidna

add call sequence mutation that removes all reverting txs in the sequences

Aberta

#1.264 aberto em 25 de mai. de 2024

Ver no GitHubGuia do colaborador
 (1 comentário) (0 reação) (0 responsável)Haskell (434 forks)auto 404
enhancementhelp wanted

Métricas do repositório

Stars
 (3.162 estrelas)
Métricas de merge de PR
 (Métricas PR pendentes)

Description

Describe the desired feature

For long call sequences, re-executing reverted transactions probably adds more overhead than it is worth, considering it is unlikely that tx level mutations will make the majority of them successful e.g. 99% of a call sequence with a length of 500 is failing. It would make more sense to shrink the call sequence some portion of the time to only include successful transaction and insert/extend

Guia do colaborador

Direção de pesquisa
Revise o código de mutação existente no Echidna, especialmente a geração de sequência de chamadas e a lógica de mutação. Entenda como as transações são representadas e como detectar transações de reversão. Implemente uma nova mutação que remova todas as transações de reversão de uma sequência e garanta que ela seja integrada ao agendador de mutações.
Pilha de tecnologia
haskell
Domain
testingblockchain
Tipo Issue
Funcionalidade
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
3
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
3-5 dias
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
Haskellfuzzing concepts
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
40