crytic/slither

ERROR:root:11 Slither-Prop on Hardhat

Open

#1.021 aberto em 23 de jan. de 2022

Ver no GitHub
 (1 comment) (0 reactions) (0 assignees)Python (886 forks)batch import
enhancementgood first issuehelp wanted

Métricas do repositório

Stars
 (4.769 stars)
Métricas de merge de PR
 (Mesclagem média 54d 9h) (2 fundiu PRs em 30d)

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)

Guia do colaborador

Direção de pesquisa
Investigue a mensagem de erro '11 not yet supported by slither prop' examinando o código fonte do slither prop, especificamente a lógica de detecção de versão para projetos Hardhat. Verifique se a versão 11 do Hardhat não é suportada e procure por arquivos de configuração ou dependências necessárias para fazê lo funcionar.
Pilha de tecnologia
python
Domain
blockchainsecurity
Tipo Issue
Bug
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
3
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-3 horas
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Precisa de investigação
Prerequisites
GitPythonSolidity basics
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
65