crytic/echidna

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

Aperta

#1264 aperta il 25 mag 2024

Vedi su GitHubGuida contributor
 (1 commento) (0 reazioni) (0 assegnatari)Haskell (434 fork)auto 404
enhancementhelp wanted

Metriche repository

Star
 (3162 stelle)
Metriche merge PR
 (Metriche PR in attesa)

Descrizione

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

Guida contributor

Direzione di ricerca
Esamina il codice di mutazione esistente in Echidna, in particolare la generazione della sequenza di chiamate e la logica di mutazione. Comprendi come sono rappresentate le transazioni e come rilevare le transazioni che causano il revert. Implementa una nuova mutazione che rimuove tutte le transazioni revert dalla sequenza e assicurati che sia integrata nello scheduler di mutazione.
Tech stack
haskell
Dominio
testingblockchain
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
3-5 giorni
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
Haskellfuzzing concepts
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
40