crytic/slither

Threewidth computation

Open

#389 aperta il 17 dic 2019

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)Python (886 fork)batch import
enhancementhelp wanted

Metriche repository

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

Descrizione

In The Treewidth of Smart Contracts, the authors computed the treewidth of smart contracts, and showed that, in average, real-world contracts have a threewidth of 3.35 (intraprocedural) and 3.65 (interprocedural).

It would be interesting to add threewidth computation to Slither, and replay those results.

Guida contributor

Direzione di ricerca
Innanzitutto, rivedi il documento di riferimento 'The Treewidth of Smart Contracts' per comprendere il metodo di calcolo della treewidth. Quindi, esamina le strutture esistenti del grafo di controllo del flusso e dell'analisi intraprocedurale/interprocedurale nel codice sorgente di Slither, in particolare nel pacchetto 'slither'. L'implementazione richiederà probabilmente l'aggiunta di un nuovo modulo di analisi che calcoli la treewidth utilizzando un algoritmo come l'algoritmo esatto per la treewidth o un'approssimazione. Apri una discussione sull'issue per chiarire l'output previsto e l'integrazione con il sistema di reporting di Slither.
Tech stack
python
Dominio
backendsecurity
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
4
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-2 giorni
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Nuova
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
Pythongraph theorySlither internals
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
45