Security & testing

Chimera

Fuzz/Property testing

Foundry · Solidity · Code-Abdeckung · Testautomatisierung · VSCode-Erweiterung

Social Recon-Fuzz/chimera(160 ☆)Recon-Fuzz/create-chimera-app(52 ☆)Recon-Fuzz/recon-extension(36 ☆)Recon-Fuzz/setup-helpers(4 ☆)Recon-Fuzz/log-parser(4 ☆)

Chimera ist ein Framework, um Solidity-Tests in foundry zu schreiben und sie mit anderen Open-Source-Tools wie Echidna, Medusa, Halmos und Kontrol wiederverwenden zu können

Related resources

Slither

Slither ist die statische Python-Analyse-Engine von Trail of Bits für Solidity und Vyper: Führen Sie sie in der CI aus, um Detektoren auszulösen, Strukturansichten von Verträgen zu drucken oder benutzerdefinierte Prüfungen über ganze Codebasen hinweg zu skripten.

Synpress

Synpress kombiniert Playwright mit Ethereum-fähiger Browser-Automatisierung, sodass Sie dezentrale Anwendungen (Dapps) einschließlich Wallet-Popups und Chain-Wechseln in der CI durchgängig testen können.

Aderyn

Aderyn ist Cyfrins quelloffener, Rust-basierter statischer Analysator für Solidity-Smart-Contracts, der Protokoll-Ingenieuren und Sicherheitsforschern helfen soll, Schwachstellen in Solidity-Codebasen zu finden.

Medusa

Medusa ist ein zustandsbehafteter Smart-Contract-Fuzzer, der von Echidna inspiriert wurde. Er bietet parallelisiertes Fuzz-Testing von Smart Contracts und die Verifizierung fortgeschrittener Smart-Contract-Invarianten.

Titanoboa

Titanoboa ist ein interaktiver Vyper-Interpreter und eine Testumgebung für schnelle Feedbackschleifen, wenn Sie mit Verträgen außerhalb einer vollständigen Foundry-Schleife experimentieren.

solidity-coverage

solidity-coverage bietet Smart-Contract-Codeabdeckung für die Hardhat-Entwicklerplattform. Es ist hochpräzise, unterstützt die vollständige viaIR-Solidity-Kompilierung und eine große Anzahl von Solidity-spezifischen Code-Branch-Mustern. Es ist in ~230k Github-Projekten installiert und wird ~100k Mal pro Woche von NPM heruntergeladen.