crytic/slither

Improve 1346 to make it more efficient

Open

#1 570 ouverte le 9 janv. 2023

Voir sur GitHub
 (5 commentaires) (0 réactions) (0 assignés)Python (886 forks)batch import
enhancementhelp wanted

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

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.

Guide contributeur

Direction de recherche
Examinez le détecteur existant de la PR #1346 pour comprendre son comportement actuel et ses limites. Étudiez l'EIP 2929 pour concevoir des heuristiques de regroupement des variables de stockage lues dans la même transaction. Proposez de convertir le détecteur en un outil qui génère des scénarios d'optimisation pour des fonctions spécifiques. Identifiez les fichiers de module pertinents dans la base de code de Slither (par exemple, sous 'slither/detectors/') et esquissez un plan de mise en œuvre.
Stack technique
python
Domaine
toolingperformance
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
4
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
3-5 jours
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Plutôt claire
Prérequis
Solidity storage layoutSlither detector frameworkEIP 2929
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
25