Slither, der statische Analysator für Smart Contracts

Tritt dem Empire Hacking Slack bei

- Diskussionen und Support

Slither ist ein in Python3 geschriebenes statisches Analyse-Framework für Solidity und Vyper. Es führt eine Reihe von Schwachstellendetektoren aus, gibt visuelle Informationen über Vertragsdetails aus und bietet eine API, um benutzerdefinierte Analysen einfach zu schreiben. Slither ermöglicht Entwicklern, Schwachstellen zu finden, ihr Codeverständnis zu verbessern und schnell individuelle Analysen zu prototypisieren.

Funktionen
Verwendung
Installation
Detektoren
Printer
- Schnellüberblick-Printer
- Detaillierte Analyse-Printer
Werkzeuge
API-Dokumentation
Hilfe
FAQ
Lizenz
Veröffentlichungen
- Veröffentlichungen von Trail of Bits
- Externe Veröffentlichungen

Funktionen

Erkennt verwundbaren Solidity-Code mit niedriger Falsch-Positiv-Rate (siehe die Liste der Trophäen)
Identifiziert die Stelle im Quellcode, an der der Fehler auftritt
Einfache Integration in Continuous Integration und Hardhat/Foundry-Builds
Integrierte 'Printer' melden schnell wichtige Vertragsinformationen
Detektor-API zum Schreiben benutzerdefinierter Analysen in Python
Fähigkeit, Verträge zu analysieren, die mit Solidity >= 0.4 geschrieben wurden
Zwischendarstellung (SlithIR) ermöglicht einfache, hochpräzise Analysen
Analysiert korrekt 99,9% aller öffentlichen Solidity-Codes
Durchschnittliche Ausführungszeit von weniger als 1 Sekunde pro Vertrag
Integration in die Code-Scannung von GitHub in CI
Unterstützung für Vyper-Smart Contracts

Verwendung

Führe Slither auf einer Hardhat/Foundry/Dapp/Brownie-Anwendung aus:```console slither .

Dies ist die bevorzugte Option, wenn Ihr Projekt Abhängigkeiten hat, da Slither auf dem zugrunde liegenden Kompilierungs-Framework basiert, um Quellcode zu kompilieren.

Sie können Slither jedoch auch auf einer einzelnen Datei ausführen, die keine Abhängigkeiten importiert:```console
slither tests/uninitialized.sol

Wie installieren

Hinweis Slither benötigt Python 3.10+. Falls Sie keines der unterstützten Compilierungs-Frameworks verwenden, benötigen Sie solc, den Solidity-Compiler. Wir empfehlen solc-select für den bequemen Wechsel zwischen solc-Versionen.

Verwendung von uv (empfohlen)

uv ist ein schneller Python-Paketmanager, der 10-100x schneller ist als pip.```console

Install uv if you haven't already

curl -LsSf https://astral.sh/uv/install.sh | sh

Install slither as a tool

uv tool install slither-analyzer

Or run slither without installation

uvx --from slither-analyzer slither

Zum Aktualisieren:```console
uv tool upgrade slither-analyzer

Mit Pip verwenden```console

python3 -m pip install slither-analyzer

Aktualisieren:```console
python3 -m pip install --upgrade slither-analyzer

Brew verwenden```console

brew install slither-analyzer

### Mit Git (Entwicklung)```bash
git clone https://github.com/crytic/slither.git && cd slither

# Install as editable for development
uv tool install -e .

# Or use uv run for testing without installation
uv run slither <target>

The -e flag installiert im bearbeitbaren Modus, was bedeutet, dass Änderungen am Quellcode sofort übernommen werden, ohne dass eine Neuinstallation erforderlich ist.

Docker verwenden

Verwenden Sie das Docker-Image eth-security-toolbox. Es enthält alle unsere Sicherheitstools und jede Hauptversion von Solidity in einem einzigen Image. /home/share wird im Container auf /share gemountet.```bash docker pull trailofbits/eth-security-toolbox

Um ein Verzeichnis im Container freizugeben:```bash
docker run -it -v /home/share:/share trailofbits/eth-security-toolbox

Integration

Für die GitHub action Integration verwenden Sie slither-action.
Für die pre-commit Integration verwenden Sie (ersetzen Sie $GIT_TAG durch das tatsächliche Tag) ```YAML
- repo: https://github.com/crytic/slither rev: $GIT_TAG hooks:
  - id: slither
Um einen Markdown-Bericht zu erstellen, verwenden Sie slither [target] --checklist.
Um einen Markdown mit GitHub-Quellcode-Hervorhebung zu generieren, verwenden Sie slither [target] --checklist --markdown-root https://github.com/ORG/REPO/blob/COMMIT/ (ersetzen Sie ORG, REPO, COMMIT)

Detektoren

Weitere Informationen finden Sie unter

Die Detektor-Dokumentation für Details zu jedem Detektor
Die Erkennungsauswahl zur Ausführung nur ausgewählter Detektoren. Standardmäßig werden alle Detektoren ausgeführt.
Der Triage-Modus zur Filterung einzelner Ergebnisse

Printer

Schnellüberblick-Printer

human-summary: Gibt eine menschenlesbare Zusammenfassung der Verträge aus
inheritance-graph: Exportiert den Vererbungsgraphen jedes Vertrags in eine DOT-Datei
contract-summary: Gibt eine Zusammenfassung der Verträge aus
loc: Zählt die Gesamtzahl der Codezeilen (LOC), Quellcodezeilen (SLOC) und Kommentarzeilen (CLOC) in Quelldateien (SRC), Abhängigkeiten (DEP) und Testdateien (TEST).
entry-points: Gibt alle zustandsändernden Einstiegspunktfunktionen und deren Variablen der Verträge aus

Detailprüfungs-Printer* `call-graph`: Exportiere den Call-Graphen der Verträge in eine dot-Datei

cfg: Exportiere das CFG jeder Funktion
function-summary: Drucke eine Zusammenfassung der Funktionen
vars-and-auth: Drucke die geschriebenen Zustandsvariablen und die Autorisierung der Funktionen
not-pausable: Drucke Funktionen, die den Modifikator whenNotPaused nicht verwenden.

Um einen Drucker auszuführen, verwende --print und eine kommagetrennte Liste von Druckern.

Siehe die Printer-Dokumentation für die vollständigen Listen.

Tools

slither-check-upgradeability: Überprüfe die auf delegatecall basierende Upgradeability
slither-prop: Automatische Unit-Tests und Eigenschaftsgenerierung
slither-flat: Glätten einer Codebasis
slither-check-erc: Überprüfe die ERC-Konformität
slither-read-storage: Lese Speicherwerte aus Verträgen
slither-interface: Generiere ein Interface für einen Vertrag

Siehe die Tool-Dokumentation für weitere Tools.

Kontaktiere uns, um Hilfe beim Erstellen benutzerdefinierter Tools zu erhalten.

API-Dokumentation

Die Dokumentation zu Slithers Interna ist hier verfügbar.

Hilfe erhalten

Besuche gerne unseren Slack-Kanal (#ethereum) für Hilfe bei der Nutzung oder Erweiterung von Slither.

Die Printer-Dokumentation beschreibt die Informationen, die Slither für jeden Vertrag visualisieren kann.
Die Detector-Dokumentation beschreibt, wie man eine neue Schwachstellenanalyse schreibt.
Die API-Dokumentation beschreibt die Methoden und Objekte, die für benutzerdefinierte Analysen verfügbar sind.
Die SlithIR-Dokumentation beschreibt die Zwischendarstellung SlithIR.

FAQ

Wie schließe ich Mocks oder Tests aus?

Siehe unsere Dokumentation zur Pfadfilterung.

Wie behebe ich "unknown file" oder Kompilierungsprobleme?

Da Slither den solc AST benötigt, müssen alle Abhängigkeiten verfügbar sein. Wenn ein Vertrag Abhängigkeiten hat, wird slither contract.sol fehlschlagen. Verwende stattdessen slither . im übergeordneten Verzeichnis von contracts/ (du solltest contracts/ sehen, wenn du ls ausführst). Wenn du einen node_modules/-Ordner hast, muss er sich im selben Verzeichnis wie contracts/ befinden. Um zu überprüfen, ob dieses Problem mit Slither zusammenhängt, führe den Kompilierungsbefehl für das von dir verwendete Framework aus, z.B. npx hardhat compile. Das muss erfolgreich funktionieren; andernfalls kann Slithers Kompilierungs-Engine, crytic-compile, den AST nicht generieren.

Lizenz

Slither ist unter der AGPLv3-Lizenz lizenziert und wird unter dieser vertrieben. Kontaktiere uns, wenn du eine Ausnahme von den Bedingungen suchst.

Veröffentlichungen

Veröffentlichung von Trail of Bits

Slither: A Static Analysis Framework For Smart Contracts, Josselin Feist, Gustavo Grieco, Alex Groce - WETSEB '19

Externe Veröffentlichungen

Wenn du Slither in einer akademischen Arbeit verwendest, erwäge eine Bewerbung für den Crytic $10k Research Prize.

1	`abiencoderv2-array`	Storage-abiencoderv2-Array	Hoch	Hoch
2	`arbitrary-send-erc20`	transferFrom verwendet beliebiges `from`	Hoch	Hoch
3	`array-by-reference`	Ändern eines Storage-Arrays durch Wert	Hoch	Hoch
4	`encode-packed-collision`	ABI encodePacked-Kollision	Hoch	Hoch
5	`incorrect-shift`	Die Reihenfolge der Parameter in einer Shift-Anweisung ist falsch.	Hoch	Hoch
6	`multiple-constructors`	Mehrere Konstruktorschemata	Hoch	Hoch
7	`name-reused`	Wiederverwendung des Vertragsnamens	Hoch	Hoch
8	`protected-vars`	Erkannte ungeschützte Variablen	Hoch	Hoch
9	`public-mappings-nested`	Öffentliche Mappings mit verschachtelten Variablen	Hoch	Hoch
10	`rtlo`	Steuerzeichen zur Rechts-nach-Links-Überschreibung wird verwendet	Hoch	Hoch
11	`shadowing-state`	State-Variablen-Überschattung	Hoch	Hoch
12	`suicidal`	Funktionen, die es jedem erlauben, den Vertrag zu zerstören	Hoch	Hoch
13	`uninitialized-state`	Nicht initialisierte State-Variablen	Hoch	Hoch
14	`uninitialized-storage`	Nicht initialisierte Storage-Variablen	Hoch	Hoch
15	`unprotected-upgrade`	Ungeschützter upgradebarer Vertrag	Hoch	Hoch
16	`arbitrary-send-erc20-permit`	transferFrom verwendet beliebiges from mit Permit	Hoch	Mittel
17	`arbitrary-send-eth`	Funktionen, die Ether an beliebige Ziele senden	Hoch	Mittel
18	`controlled-array-length`	Zuweisung einer verfälschten Array-Länge	Hoch	Mittel
19	`controlled-delegatecall`	Kontrolliertes delegatecall-Ziel	Hoch	Mittel
20	`delegatecall-loop`	Payable-Funktionen, die `delegatecall` innerhalb einer Schleife verwenden	Hoch	Mittel
21	`incorrect-exp`	Falsche Potenzierung	Hoch	Mittel
22	`incorrect-return`	Wenn ein `return` fälschlicherweise im Assembly-Modus verwendet wird.	Hoch	Mittel
23	`msg-value-loop`	msg.value innerhalb einer Schleife	Hoch	Mittel
24	`reentrancy-eth`	Reentrancy-Schwachstellen (Diebstahl von Ether)	Hoch	Mittel
25	`reentrancy-balance`	Reentrancy-Schwachstellen, die zu veralteten Saldenprüfungen führen	Hoch	Mittel
26	`return-leave`	Wenn ein `return` anstelle eines `leave` verwendet wird.	Hoch	Mittel
27	`storage-array`	Compiler-Fehler bei signierten Storage-Integer-Arrays	Hoch	Mittel
28	`unchecked-transfer`	Ungeprüfter Token-Transfer	Hoch	Mittel
29	`weak-prng`	Schwacher PRNG	Hoch	Mittel
30	`domain-separator-collision`	Erkennt ERC20-Token, die eine Funktion haben, deren Signatur mit EIP-2612s DOMAIN_SEPARATOR() kollidiert	Mittel	Hoch
31	`enum-conversion`	Erkennt gefährliche Enum-Konvertierung	Mittel	Hoch
32	`erc20-interface`	Falsche ERC20-Schnittstellen	Mittel	Hoch
33	`erc721-interface`	Falsche ERC721-Schnittstellen	Mittel	Hoch
34	`incorrect-equality`	Gefährliche strikte Gleichheiten	Mittel	Hoch
35	`locked-ether`	Verträge, die Ether sperren	Mittel	Hoch
36	`mapping-deletion`	Löschen eines Mappings, das eine Struktur enthält	Mittel	Hoch
37	`pyth-deprecated-functions`	Erkennt veraltete Pyth-Funktionen	Mittel	Hoch
38	`pyth-unchecked-confidence`	Erkennt, wenn das Konfidenzniveau eines Pyth-Preises nicht überprüft wird	Mittel	Hoch
39	`pyth-unchecked-publishtime`	Erkennt, wenn die publishTime eines Pyth-Preises nicht überprüft wird	Mittel	Hoch
40	`shadowing-abstract`	State-Variablen-Überschattung durch abstrakte Verträge	Mittel	Hoch
41	`tautological-compare`	Vergleicht eine Variable mit sich selbst, was je nach Vergleich immer true oder false zurückgibt	Mittel	Hoch
42	`tautology`	Tautologie oder Widerspruch	Mittel	Hoch
43	`write-after-write`	Unbenutzter Schreibzugriff	Mittel	Hoch
44	`boolean-cst`	Missbrauch einer Boolean-Konstante	Mittel	Mittel
45	`chronicle-unchecked-price`	Erkennt, wenn Chronicle-Preis nicht überprüft wird.	Mittel	Mittel
46	`constant-function-asm`	Konstante Funktionen mit Assembly-Code	Mittel	Mittel
47	`constant-function-state`	Konstante Funktionen, die den State ändern	Mittel	Mittel
48	`divide-before-multiply`	Ungenauigkeit der Reihenfolge arithmetischer Operationen	Mittel	Mittel
49	`gelato-unprotected-randomness`	Aufruf von `_requestRandomness` innerhalb einer ungeschützten Funktion	Mittel	Mittel
50	`out-of-order-retryable`	Nicht sequenzielle wiederholbare Transaktionen	Mittel	Mittel
51	`reentrancy-no-eth`	Reentrancy-Schwachstellen (kein Diebstahl von Ether)	Mittel	Mittel
52	`reused-constructor`	Wiederverwendeter Basis-Konstruktor	Mittel	Mittel
53	`tx-origin`	Gefährliche Verwendung von `tx.origin`	Mittel	Mittel
54	`unchecked-lowlevel`	Ungeprüfte Low-Level-Aufrufe	Mittel	Mittel
55	`unchecked-send`	Ungeprüfter send	Mittel	Mittel
56	`uninitialized-local`	Nicht initialisierte lokale Variablen	Mittel	Mittel
57	`unused-return`	Unbenutzte Rückgabewerte	Mittel	Mittel
58	`chainlink-feed-registry`	Erkennt, wenn Chainlink-Feed-Registry verwendet wird	Niedrig	Hoch
59	`incorrect-modifier`	Modifier, die den Standardwert zurückgeben können	Niedrig	Hoch
60	`optimism-deprecation`	Erkennt, wenn veralteter Optimism-Predeploy oder -Funktion verwendet wird.	Niedrig	Hoch
61	`shadowing-builtin`	Überschattung eingebauter Symbole	Niedrig	Hoch
62	`shadowing-local`	Überschattung lokaler Variablen	Niedrig	Hoch
63	`uninitialized-fptr-cst`	Aufrufe nicht initialisierter Funktionszeiger in Konstruktoren	Niedrig	Hoch
64	`variable-scope`	Lokale Variablen vor ihrer Deklaration verwendet	Niedrig	Hoch
65	`void-cst`	Konstruktor aufgerufen, aber nicht implementiert	Niedrig	Hoch
66	`calls-loop`	Mehrere Aufrufe in einer Schleife	Niedrig	Mittel
67	`events-access`	Fehlende Ereignisse bei Zugriffskontrolle	Niedrig	Mittel
68	`events-maths`	Fehlende Ereignisse bei Arithmetik	Niedrig	Mittel
69	`incorrect-unary`	Gefährliche unäre Ausdrücke	Niedrig	Mittel
70	`missing-zero-check`	Fehlende Validierung der Nulladresse	Niedrig	Mittel
71	`reentrancy-benign`	Gutartige Reentrancy-Schwachstellen	Niedrig	Mittel
72	`reentrancy-events`	Reentrancy-Schwachstellen, die zu nicht sequenziellen Ereignissen führen	Niedrig	Mittel
73	`return-bomb`	Ein Low-Level-Callee könnte unerwartet das gesamte Gas des Aufrufers verbrauchen.	Niedrig	Mittel
74	`timestamp`	Gefährliche Verwendung von `block.timestamp`	Niedrig	Mittel
75	`assembly`	Assembly-Verwendung	Informativ	Hoch
76	`assert-state-change`	Assert-Statusänderung	Informativ	Hoch
77	`boolean-equal`	Vergleich mit einer Boolean-Konstante	Informativ	Hoch
78	`cyclomatic-complexity`	Erkennt Funktionen mit hoher (> 11) zyklomatischer Komplexität	Informativ	Hoch
79	`deprecated-standards`	Veraltete Solidity-Standards	Informativ	Hoch
80	`erc20-indexed`	Nicht indizierte ERC20-Ereignisparameter	Informativ	Hoch
81	`function-init-state`	Funktion, die State-Variablen initialisiert	Informativ	Hoch
82	`incorrect-using-for`	Erkennt die Verwendung von using-for-Anweisungen, wenn keine Funktion aus einer bestimmten Bibliothek zu einem bestimmten Typ passt	Informativ	Hoch
83	`low-level-calls`	Low-Level-Aufrufe	Informativ	Hoch
84	`missing-inheritance`	Fehlende Vererbung	Informativ	Hoch
85	`naming-convention`	Einhaltung der Solidity-Namenskonventionen	Informativ	Hoch
86	`pragma`	Wenn verschiedene Pragma-Direktiven verwendet werden	Informativ	Hoch
87	`redundant-statements`	Redundante Anweisungen	Informativ	Hoch
88	`solc-version`	Falsche Solidity-Version	Informativ	Hoch
89	`unimplemented-functions`	Nicht implementierte Funktionen	Informativ	Hoch
90	`unindexed-event-address`	Ereignisse mit Adressparametern, aber ohne indizierte Parameter	Informativ	Hoch
91	`unused-state`	Unbenutzte State-Variablen	Informativ	Hoch
92	`costly-loop`	Kostspielige Operationen in einer Schleife	Informativ	Mittel
93	`dead-code`	Funktionen, die nicht verwendet werden	Informativ	Mittel
94	`reentrancy-unlimited-gas`	Reentrancy-Schwachstellen durch send und transfer	Informativ	Mittel
95	`too-many-digits`	Einhaltung bewährter Praktiken für numerische Notation	Informativ	Mittel
96	`cache-array-length`	Erkennt `for`-Schleifen, die das `length`-Mitglied eines Storage-Arrays in ihrer Schleifenbedingung verwenden und es nicht verändern.	Optimierung	Hoch
97	`constable-states`	State-Variablen, die als konstant deklariert werden könnten	Optimierung	Hoch
98	`external-function`	Öffentliche Funktion, die als external deklariert werden könnte	Optimierung	Hoch
99	`immutable-states`	State-Variablen, die als immutable deklariert werden könnten	Optimierung	Hoch
100	`var-read-using-this`	Vertrag liest seine eigene Variable mittels `this`	Optimierung	Hoch

ReJection: A AST-Based Reentrancy Vulnerability Detection Method	AST-basierte Analyse auf Basis von Slither	Rui Ma, Zefeng Jian, Guangyuan Chen, Ke Ma, Yujia Chen	CTCIS 19	-
MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract	Nutzung von Datenabhängigkeiten durch Slither	William Zhang, Sebastian Banescu, Leodardo Pasos, Steven Stewart, Vijay Ganesh	ISSRE 2019	MPro
ETHPLOIT: From Fuzzing to Efficient Exploit Generation against Smart Contracts	Nutzung von Datenabhängigkeiten durch Slither	Qingzhao Zhang, Yizhuo Wang, Juanru Li, Siqi Ma	SANER 20	-
Verification of Ethereum Smart Contracts: A Model Checking Approach	Symbolische Ausführung auf Basis von Slithers CFG	Tam Bang, Hoang H Nguyen, Dung Nguyen, Toan Trieu, Tho Quan	IJMLC 20	-
Smart Contract Repair	Verlass auf Slithers Schwachstellendetektoren	Xiao Liang Yu, Omar Al-Bataineh, David Lo, Abhik Roychoudhury	TOSEM 20	SCRepair
Demystifying Loops in Smart Contracts	Nutzung von Datenabhängigkeiten durch Slither	Ben Mariano, Yanju Chen, Yu Feng, Shuvendu Lahiri, Isil Dillig	ASE 20	-
Trace-Based Dynamic Gas Estimation of Loops in Smart Contracts	Verwendung von Slithers CFG zur Erkennung von Schleifen	Chunmiao Li, Shijie Nie, Yang Cao, Yijun Yu, Zhenjiang Hu	IEEE Open J. Comput. Soc. 1 (2020)	-
SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds	Verlass auf SlithIR zum Aufbau eines Storage-Dependency-Graphen	Priyanka Bose, Dipanjan Das, Yanju Chen, Yu Feng, Christopher Kruegel, and Giovanni Vigna	S&P 22	Sailfish
SolType: Refinement Types for Arithmetic Overflow in Solidity	Verwendung von Slither als Frontend zur Erstellung eines Verfeinerungstypsystems	Bryan Tan, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig, Yu Feng	POPL 22	-
Do Not Rug on Me: Leveraging Machine Learning Techniques for Automated Scam Detection	Verwendung von Slither zur Extraktion von Tokenmerkmalen (mintable, pausable, ..)	Mazorra, Bruno, Victor Adan, and Vanesa Daza	Mathematics 10.6 (2022)	-
MANDO: Multi-Level Heterogeneous Graph Embeddings for Fine-Grained Detection of Smart Contract Vulnerabilities	Verwendung von Slither zur Extraktion des CFG und des Call-Graphen	Hoang Nguyen, Nhat-Minh Nguyen, Chunyao Xie, Zahra Ahmadi, Daniel Kudendo, Thanh-Nam Doan and Lingxiao Jiang	IEEE 9th International Conference on Data Science and Advanced Analytics (DSAA, 2022)	ge-sc
Automated Auditing of Price Gouging TOD Vulnerabilities in Smart Contracts	Verwendung von Slither zur Extraktion des CFG und der Datenabhängigkeiten	Sidi Mohamed Beillahi, Eric Keilty, Keerthi Nelaturu, Andreas Veneris, and Fan Long	2022 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)	Smart-Contract-Repair
Modeling and Enforcing Access Control Policies for Smart Contracts	Erweiterung der Datenabhängigkeiten von Slither	Jan-Philipp Toberg, Jonas Schiffl, Frederik Reiche, Bernhard Beckert, Robert Heinrich, Ralf Reussner	IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS), 2022	SolidityAccessControlEnforcement
Smart Contract Vulnerability Detection Based on Deep Learning and Multimodal Decision Fusion	Verwendung von Slither zur Extraktion des CFG	Weichu Deng, Huanchun Wei, Teng Huang, Cong Cao, Yun Peng, and Xuan Hu	Sensors 2023, 23, 7246	-
Semantic-enriched Code Knowledge Graph to Reveal Unknowns in Smart Contract Code Reuse	Verwendung von Slither zur Extraktion der Code-Merkmale (CFG, Funktion, Parametertypen, ..)	Qing Huang, Dianshu Liao, Zhenchang Xing, Zhengkang Zuo, Changjing Wang, Xin Xia	ACM Transactions on Software Engineering and Methodology, 2023	-
Smart Contract Parallel Execution with Fine-Grained State Accesses	Verwendung von Slither zum Aufbau von Zustandszugriffsgraphen	Xiaodong Qi, Jiao Jiao, Yi Li	International Conference on Distributed Computing Systems (ICDCS), 2023	-
Bad Apples: Understanding the Centralized Security Risks in Decentralized Ecosystems	Implementierung einer internen Analyse auf Basis von Slither	Kailun Yan , Jilian Zhang , Xiangyu Liu , Wenrui Diao , Shanqing Guo	ACM Web Conference April 2023	-
Identifying Vulnerabilities in Smart Contracts using Interval Analysis	Erstellung von 4 Detektoren auf Basis von Slither	Ştefan-Claudiu Susan, Andrei Arusoaie	FROM 2023	-
Storage State Analysis and Extraction of Ethereum Blockchain Smart Contracts (no PDF in open access)	Verlass auf Slithers CFG und AST	Maha Ayub , Tania Saleem , Muhammad Janjua , Talha Ahmad	TOSEM 2023	SmartMuv

slither

Beliebteste