crytic/slither

similar variables detector is extremely slow

Open

#1 630 ouverte le 27 janv. 2023

Voir sur GitHub
 (2 commentaires) (0 réactions) (0 assignés)Python (886 forks)batch import
bughelp 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

This detector makes up the majority of runtime on large codebases

ncalls  tottime  percall  cumtime  percall filename:lineno(function)
        1    0.000    0.000   41.286   41.286 /Users/alpharush/tob/slither/slither/__main__.py:81(process_all)
        1    0.000    0.000   39.059   39.059 /Users/alpharush/tob/slither/slither/__main__.py:58(process_single)
        1    0.000    0.000   33.319   33.319 /Users/alpharush/tob/slither/slither/__main__.py:111(_process)
        1    0.000    0.000   33.317   33.317 /Users/alpharush/tob/slither/slither/slither.py:198(run_detectors)
        1    0.000    0.000   33.317   33.317 /Users/alpharush/tob/slither/slither/slither.py:204(<listcomp>)
       84    0.001    0.000   33.317    0.397 /Users/alpharush/tob/slither/slither/detectors/abstract_detector.py:176(detect)
        1    0.000    0.000   31.215   31.215 /Users/alpharush/tob/slither/slither/detectors/variables/similar_variables.py:72(_detect)

https://github.com/crytic/slither/blob/master/slither/detectors/variables/similar_variables.py#L63-L66

Guide contributeur

Direction de recherche
Profiler la méthode ` detect` dans similar variables.py à l'aide de cProfile et identifier le goulot d'étranglement, probablement les boucles imbriquées pour comparer les noms de variables. Optimisez en utilisant la distance de Levenshtein avec terminaison anticipée ou un algorithme de similarité plus rapide.
Stack technique
python
Domaine
securitytooling
Type d'issue
Performance
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
Une demi journée
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
Python
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
60