crytic/slither

ERROR:root:11 Slither-Prop on Hardhat

Open

#1021 aperta il 23 gen 2022

Vedi su GitHub
 (1 commento) (0 reazioni) (0 assegnatari)Python (886 fork)batch import
enhancementgood first issuehelp wanted

Metriche repository

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

Descrizione

I have a project create with hardhat and I'm trying to run slither-prop on it, using this command slither-prop . --contract Penguin

But I am getting this error ERROR:root:11 not yet supported by slither-prop, from what I could understand from the --help section, slither support hardhat, so what i am missing? Also it would be really great if you could share some officials docs/examples because i'm trying to understand the tool right now. I took a look at this, but i feel it is not very comprehensive (https://github.com/crytic/slither/wiki/Property-generation)

Guida contributor

Direzione di ricerca
Investigare il messaggio di errore '11 not yet supported by slither prop' esaminando il codice sorgente di slither prop, in particolare la logica di rilevamento della versione per i progetti Hardhat. Verificare se la versione 11 di Hardhat non è supportata e cercare eventuali file di configurazione o dipendenze necessarie per farlo funzionare.
Tech stack
python
Dominio
blockchainsecurity
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Richiede indagine
Prerequisiti
GitPythonSolidity basics
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
65