crytic/echidna

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

Offen

#1.264 geöffnet am 25.05.2024

Auf GitHub ansehenContributor Guide
 (1 Kommentar) (0 Reaktionen) (0 zugewiesene Personen)Haskell (434 Forks)auto 404
enhancementhelp wanted

Repository-Metriken

Stars
 (3.162 Sterne)
PR-Merge-Metriken
 (PR-Metriken ausstehend)

Beschreibung

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

Contributor Guide

Research-Richtung
Überprüfen Sie den vorhandenen Mutationscode in Echidna, insbesondere die Erzeugung von Aufrufsequenzen und die Mutationslogik. Verstehen Sie, wie Transaktionen dargestellt werden und wie zurücksetzende Transaktionen erkannt werden. Implementieren Sie eine neue Mutation, die alle zurücksetzenden Transaktionen aus einer Sequenz entfernt, und stellen Sie sicher, dass sie in den Mutationsplaner integriert wird.
Tech Stack
haskell
Domain
testingblockchain
Issue Type
Funktion
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
3-5 Tage
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
Haskellfuzzing concepts
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
40