crytic/slither

Threewidth computation

Open

#389 ouverte le 17 déc. 2019

Voir sur GitHub
 (0 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

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.

Guide contributeur

Direction de recherche
Tout d'abord, examinez l'article référencé 'The Treewidth of Smart Contracts' pour comprendre la méthode de calcul de la largeur arborescente. Ensuite, examinez les structures existantes du graphe de flux de contrôle et de l'analyse intraprocédurale/interprocédurale dans le code source de Slither, en particulier dans le package 'slither'. L'implémentation nécessitera probablement l'ajout d'un nouveau module d'analyse qui calcule la largeur arborescente en utilisant un algorithme comme la largeur arborescente exacte ou une approximation. Ouvrez une discussion sur l'issue pour clarifier le résultat attendu et l'intégration avec le système de rapport de Slither.
Stack technique
python
Domaine
backendsecurity
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.
1-2 jours
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Récente
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
Pythongraph theorySlither internals
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
45