crytic/slither

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

Open

#2 073 ouverte le 1 août 2023

Voir sur GitHub
 (1 commentaire) (0 réactions) (0 assignés)Python (886 forks)batch import
buggood first issue

Métriques du dépôt

Stars
 (4 769 stars)
Métriques de merge PR
 (Merge moyen 54j 9h) (2 PRs mergées en 30 j)

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

Guide contributeur

Direction de recherche
Examinez l'imprimeur de résumé de fonction dans `slither/printers/` pour voir comment les appels externes sont identifiés. Recherchez la logique qui traite toute expression avec un '.' comme un appel externe, et distinguez les fonctions intégrées comme abi.encode, les appels de bibliothèque et les accès aux champs de structure. La correction doit filtrer les appels non externes en vérifiant le type de la cible de l'appel.
Stack technique
python
Domaine
tooling
Type d'issue
Bug
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Ancienne
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
PythonSolidity syntaxStatic analysis concepts
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
45