crytic/slither

Printer: echidna/manticore-verifier properties printer

Open

#606 aperta il 27 ago 2020

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)Python (886 fork)batch import
enhancementgood first issuehelp wantednew printer

Metriche repository

Star
 (4769 star)
Metriche merge PR
 (Merge medio 54g 9h) (2 PR mergiate in 30 g)

Descrizione

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)

Guida contributor

Direzione di ricerca
Ispeziona le implementazioni esistenti di stampanti in Slither (ad esempio printers/summary.py) e comprendi il formato di output delle proprietà di Echidna/Manticore. Quindi crea una nuova stampante che produca una tabella con collegamenti ipertestuali, garantendo la compatibilità con il flag markdown root.
Tech stack
python
Dominio
developer experience
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
2
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Mezza giornata
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
GitPython
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
70