crytic/slither

Create detectors for semantic changes due to Solidity IR

Open

#1169 aperta il 14 apr 2022

Vedi su GitHub
 (2 commenti) (1 reazione) (0 assegnatari)Python (886 fork)batch import
High Priorityhelp wanted

Metriche repository

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

Descrizione

https://docs.soliditylang.org/en/v0.8.13/ir-breaking-changes.html#semantic-only-changes

0.8.13 allows to use of the new IR pipeline, but comes with risks due to semantics changes. We should create detectors to help developers to review if they can use the new version without impacting their contracts.

We can make these detectors directly public to help a larger audience.

Guida contributor

Direzione di ricerca
Studia la documentazione delle modifiche IR e crea rilevatori per ogni modifica semantica elencata.
Tech stack
python
Dominio
security
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
3-5 giorni
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Richiede indagine
Prerequisiti
SolidityPython
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
60