crytic/slither

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

Open

#2073 aperta il 1 ago 2023

Vedi su GitHub
 (1 commento) (0 reazioni) (0 assegnatari)Python (886 fork)batch import
buggood first issue

Metriche repository

Star
 (4769 star)
Metriche merge PR
 (Merge medio 54g 9h) (2 PR mergiate in 30 g)

Descrizione

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

Guida contributor

Direzione di ricerca
Esamina la stampante di riepilogo delle funzioni in `slither/printers/` per vedere come vengono identificate le chiamate esterne. Cerca la logica che tratta qualsiasi espressione con un '.' come una chiamata esterna e distingui tra funzioni integrate come abi.encode, chiamate a librerie e accessi ai campi delle strutture. La correzione dovrebbe filtrare le chiamate non esterne controllando il tipo del target della chiamata.
Tech stack
python
Dominio
tooling
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Datata
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
PythonSolidity syntaxStatic analysis concepts
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
45