crytic/slither

Identify Functions that use delegatecall and msg.data for Echidna Printer

Open

#1.202 aberto em 9 de mai. de 2022

Ver no GitHub
 (3 comments) (0 reactions) (0 assignees)Python (886 forks)batch import
echidnaenhancementgood first issue

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

Describe the desired feature

Echidna should be able to access implementation contracts via a proxy contract that utilizes delegatecall with msg.data. This will allow easier fuzzing on proxy contracts. Currently, the user needs to create a wrapper for each of the functions that are in the implementation contract.

Ideally, the Slither printer would extract functions that use msg.data and associate the functions of the called contract into the calling contract.

Guia do colaborador

Direção de pesquisa
Primeiro, revise as impressoras existentes do Slither para entender o padrão. Em seguida, analise a AST do Solidity para o uso de delegatecall e msg.data. Considere implementar uma nova impressora que gere funções que usam esses padrões. Verifique os comentários na issue para obter detalhes adicionais.
Pilha de tecnologia
python
Domain
blockchaintooling
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.
4
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
Mais de 1 semana
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Antigo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
Understanding of delegatecallSlither printer internalsProxy contractsSolidity static analysis
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
25