crytic/slither

[Bug]: all statements with `.` are reported as external calls

Open

#2.073 aberto em 1 de ago. de 2023

Ver no GitHub
 (1 comment) (0 reactions) (0 assignees)Python (886 forks)batch import
buggood 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 issue:

I ran slither . --print function-summary to view external calls for functions. The resulting "External Calls" column treats any statement with a . as an external call. This includes solidity built-ins like abi.encode, library accesses like Address.sendValue, and struct field accesses.

Code example to reproduce the issue:

git clone https://github.com/scopelift/pooltogether-governor-upgrade/
cd pooltogether-governor-upgrade
forge install
slither . --print function-summary

Version:

0.9.6

Relevant log output:

No response

Guia do colaborador

Direção de pesquisa
Examine o impressora de resumo de função em `slither/printers/` para ver como as chamadas externas são identificadas. Procure pela lógica que trata qualquer expressão com um '.' como uma chamada externa e distinga entre funções internas como abi.encode, chamadas de biblioteca e acessos a campos de struct. A correção deve filtrar chamadas não externas verificando o tipo do alvo da chamada.
Pilha de tecnologia
python
Domain
tooling
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.
Antigo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
PythonSolidity syntaxStatic analysis concepts
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
45