crytic/slither

Printer: echidna/manticore-verifier properties printer

Open

#606 aberto em 27 de ago. de 2020

Ver no GitHub
 (0 comments) (0 reactions) (0 assignees)Python (886 forks)batch import
enhancementgood first issuehelp wantednew printer

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

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)

Guia do colaborador

Direção de pesquisa
Inspecione as implementações existentes de impressores no Slither (por exemplo, printers/summary.py) e entenda o formato de saída das propriedades do Echidna/Manticore. Em seguida, crie um novo impressor que produza uma tabela com hiperlinks, garantindo compatibilidade com a flag markdown root.
Pilha de tecnologia
python
Domain
developer experience
Tipo Issue
Funcionalidade
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
2
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
Meio dia
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.
Claro
Prerequisites
GitPython
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
70