crytic/echidna

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

Ouverte

#1 264 ouverte le 25 mai 2024

Voir sur GitHubGuide contributeur
 (1 commentaire) (0 réaction) (0 personne assignée)Haskell (434 forks)auto 404
enhancementhelp wanted

Métriques du dépôt

Stars
 (3 162 étoiles)
Métriques de merge PR
 (Métriques PR en attente)

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

Guide contributeur

Direction de recherche
Examinez le code de mutation existant dans Echidna, en particulier la generation de sequences d'appels et la logique de mutation. Comprenez comment les transactions sont representees et comment detecter les transactions de revert. Implementez une nouvelle mutation qui supprime toutes les transactions revert d'une sequence et assurez vous qu'elle est integree dans le planificateur de mutation.
Stack technique
haskell
Domaine
testingblockchain
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
3-5 jours
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
Haskellfuzzing concepts
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
40