crytic/slither

Printer: echidna/manticore-verifier properties printer

Open

#606 geöffnet am 27. Aug. 2020

Auf GitHub ansehen
 (0 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Python (886 Forks)batch import
enhancementgood first issuehelp wantednew printer

Repository-Metriken

Stars
 (4.769 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 54T 9h) (2 gemergte PRs in 30 T)

Beschreibung

Print something like:

Description | Name | Contract | Result
------------------------------------
Natspec doc | crytic_test | my_contract |

The output must be markdown-compatible, and have hyperlinks (compatible with the --markdown-root flag)

Contributor Guide

Research-Richtung
Untersuche bestehende Drucker Implementierungen in Slither (z.B. printers/summary.py) und verstehe das Ausgabeformat der Echidna/Manticore Eigenschaften. Erstelle dann einen neuen Drucker, der eine Tabelle mit Hyperlinks ausgibt und mit dem markdown root Flag kompatibel ist.
Tech Stack
python
Domain
developer experience
Issue Type
Funktion
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
2
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
Halber Tag
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
GitPython
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
70