crytic/slither

Improve 1346 to make it more efficient

Open

#1.570 geöffnet am 9. Jan. 2023

Auf GitHub ansehen
 (5 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Python (886 Forks)batch import
enhancementhelp wanted

Repository-Metriken

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

Beschreibung

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.

Contributor Guide

Research-Richtung
Untersuche den bestehenden Detektor aus PR #1346, um sein aktuelles Verhalten und seine Einschränkungen zu verstehen. Studiere EIP 2929, um Heuristiken für das Packen von Speichervariablen zu entwerfen, die in derselben Transaktion gelesen werden. Schlage vor, den Detektor in ein Tool umzuwandeln, das Optimierungsszenarien für bestimmte Funktionen ausgibt. Identifiziere die relevanten Moduldateien in der Slither Codebasis (z.B. unter 'slither/detectors/') und skizziere einen Plan für die Implementierung.
Tech Stack
python
Domain
toolingperformance
Issue Type
Funktion
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
4
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
3-5 Tage
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Meist klar
Voraussetzungen
Solidity storage layoutSlither detector frameworkEIP 2929
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
25