crytic/slither

slither-optimize: Tool to hint code size optimizations

Open

#809 opened on Mar 25, 2021

View on GitHub
 (0 comments) (0 reactions) (0 assignees)Python (886 forks)batch import
enhancementhelp wanted

Repository metrics

Stars
 (4,769 stars)
PR merge metrics
 (Avg merge 54d 9h) (2 merged PRs in 30d)

Description

More and more people are reaching the code size limit, even with optimizers enabled. We can create a tool based on slither that will highlight some optimizations to reduce the code size.

Example:

  • Replace modifiers with internal calls (we need to investigate the limit when this becomes efficient)
  • Regroup duplicate code with internal functions
  • Find if a parameter is always the same in all the internal calls
  • How to split a contract into multiple ones (see https://github.com/crytic/slither/issues/471)
  • ...

We can also create automatic patches for some rules (ex: modifier to internal calls)

Contributor guide

Research direction
Investigate how to detect redundant modifiers and duplicate code in Solidity using Slither's intermediate representation. Research automatic patching strategies for code size reduction.
Tech stack
python
Domain
backend
Issue type
Feature
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
3
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
Over 1 week
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
Stale
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
Clear
Prerequisites
SolidityPythonstatic analysis
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
50