Zum Hauptinhalt springen
Sicherheit & Testing

Aderyn

Fuzz-/Property-Testing

Visit website (öffnet in einem neuen Tab)Aderyn on X (öffnet in einem neuen Tab)Aderyn on GitHub (öffnet in einem neuen Tab)

See next

ItyFuzz

About 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.

Tags

  • CLI
  • Sicherheit
  • Bildung
  • Solidity
  • Statische Analyse
  • VSCode-Erweiterung
  • Community-gesteuert

RepositoryCyfrin

Info

Typ
Fuzz-/Property-Testing
GitHub stars
797

Verwandte Ressourcen

Chimera

Chimera

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

Slither

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.

Echidna

Echidna

Echidna is a property-based and grammar fuzzer for Ethereum smart contracts. Builders and auditors write properties with it to find inputs that break contract invariants.