trailofbits/manticore

Add the Sereum paper examples to test manticore reentrancy detector

Open

#1.490 aberto em 20 de jul. de 2019

Ver no GitHub
 (0 comments) (0 reactions) (0 assignees)Python (481 forks)batch import
Hacktoberfestchallengeeasygood first issuehelp wantedtesting

Métricas do repositório

Stars
 (3.469 stars)
Métricas de merge de PR
 (Nenhuma PRs mesclada em 30d)

Description

There are few small smart contracts to test the reentrancy detection in the Sereum paper. Manticore could integrate them in the testing to make sure these difficult examples are correctly flagged.

Guia do colaborador

Direção de pesquisa
Localize o conjunto de testes existente para o detector de reentrância no Manticore e adicione os exemplos do artigo Sereum como casos de teste.
Pilha de tecnologia
python
Domain
blockchain
Tipo Issue
Teste
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
1
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
Menos de 1 hora
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Recente
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
PythonGit
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
75