crytic/slither

ERROR:root:11 Slither-Prop on Hardhat

Open

#1 021 ouverte le 23 janv. 2022

Voir sur GitHub
 (1 commentaire) (0 réactions) (0 assignés)Python (886 forks)batch import
enhancementgood first issuehelp wanted

Métriques du dépôt

Stars
 (4 769 stars)
Métriques de merge PR
 (Merge moyen 54j 9h) (2 PRs mergées en 30 j)

Description

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)

Guide contributeur

Direction de recherche
Enquêtez sur le message d'erreur '11 not yet supported by slither prop' en examinant le code source de slither prop, en particulier la logique de détection de version pour les projets Hardhat. Vérifiez si la version 11 de Hardhat n'est pas prise en charge et cherchez les fichiers de configuration ou dépendances nécessaires pour le faire fonctionner.
Stack technique
python
Domaine
blockchainsecurity
Type d'issue
Bug
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Investigation requise
Prérequis
GitPythonSolidity basics
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
65