crytic/slither

ERROR:root:11 Slither-Prop on Hardhat

Open

#1.021 geöffnet am 23. Jan. 2022

Auf GitHub ansehen
 (1 Kommentar) (0 Reaktionen) (0 zugewiesene Personen)Python (886 Forks)batch import
enhancementgood first issuehelp wanted

Repository-Metriken

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

Beschreibung

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)

Contributor Guide

Research-Richtung
Untersuchen Sie die Fehlermeldung '11 not yet supported by slither prop', indem Sie den Quellcode von slither prop, insbesondere die Versionserkennungslogik für Hardhat Projekte, analysieren. Prüfen Sie, ob die Hardhat Version 11 nicht unterstützt wird und suchen Sie nach Konfigurationsdateien oder Abhängigkeiten, die für den Betrieb erforderlich sind.
Tech Stack
python
Domain
blockchainsecurity
Issue Type
Fehler
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.
1-3 Stunden
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.
Recherche nötig
Voraussetzungen
GitPythonSolidity basics
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
65