crytic/slither

Improve 1346 to make it more efficient

Open

#1.570 aberto em 9 de jan. de 2023

Ver no GitHub
 (5 comments) (0 reactions) (0 assignees)Python (886 forks)batch import
enhancementhelp 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

https://github.com/crytic/slither/pull/1346 is a nice addition, which gives us fundamental features to do structure packing optimisations.

However it has a couple of drawback. For example packing storage variables might lead to more costly execution because of the additional opcode cost.

We could improve the detector to add a couple of heuristics. One example that comes to mind is to use https://eips.ethereum.org/EIPS/eip-2929#sstore-changes, and to pack together variables that are read within the same transaction.

We could make it a tool instead of a detector, and propose different scenario as a result, ie:

  • To optimize the run of contract.function1 pack together ..
  • To optimize the run of contract.function2 pack together ..

Having a tool would allow us additional fine tuning and flags.

Guia do colaborador

Direção de pesquisa
Examine o detector existente do PR #1346 para entender seu comportamento atual e limitações. Estude a EIP 2929 para projetar heurísticas para empacotar variáveis de armazenamento que são lidas na mesma transação. Proponha converter o detector em uma ferramenta que gere cenários de otimização para funções específicas. Identifique os arquivos de módulo relevantes na base de código do Slither (por exemplo, em 'slither/detectors/') e esboce um plano para implementação.
Pilha de tecnologia
python
Domain
toolingperformance
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.
3-5 dias
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.
Principalmente claro
Prerequisites
Solidity storage layoutSlither detector frameworkEIP 2929
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
25