crytic/slither

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

Open

#2.073 geöffnet am 1. Aug. 2023

Auf GitHub ansehen
 (1 Kommentar) (0 Reaktionen) (0 zugewiesene Personen)Python (886 Forks)batch import
buggood first issue

Repository-Metriken

Stars
 (4.769 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 54T 9h) (2 gemergte PRs in 30 T)

Beschreibung

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

Contributor Guide

Research-Richtung
Untersuche den Funktionszusammenfassungsdrucker in `slither/printers/`, um zu sehen, wie externe Aufrufe identifiziert werden. Suche nach Logik, die jeden Ausdruck mit einem '.' als externen Aufruf behandelt, und unterscheide zwischen eingebauten Funktionen wie abi.encode, Bibliotheksaufrufen und Strukturfeldzugriffen. Die Korrektur sollte nicht externe Aufrufe herausfiltern, indem der Typ des Aufrufziels überprüft wird.
Tech Stack
python
Domain
tooling
Issue Type
Fehler
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-3 Stunden
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Veraltet
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
PythonSolidity syntaxStatic analysis concepts
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
45