crytic/slither

similar variables detector is extremely slow

Open

#1.630 geöffnet am 27. Jan. 2023

Auf GitHub ansehen
 (2 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Python (886 Forks)batch import
bughelp wanted

Repository-Metriken

Stars
 (4.769 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 54T 9h) (2 gemergte PRs in 30 T)

Beschreibung

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

Contributor Guide

Research-Richtung
Profileren Sie die Methode ` detect` in similar variables.py mit cProfile und identifizieren Sie den Engpass, wahrscheinlich die verschachtelten Schleifen zum Vergleichen von Variablennamen. Optimieren Sie durch Verwendung der Levenshtein Distanz mit vorzeitigem Abbruch oder einem schnelleren Ähnlichkeitsalgorithmus.
Tech Stack
python
Domain
securitytooling
Issue Type
Performance
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
Halber Tag
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Meist klar
Voraussetzungen
Python
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
60