Přejít na hlavní obsah
Bezpečnost a testování

Aderyn

Fuzz/Property testování

Navštívit webové stránky (otevře se v nové záložce)Aderyn na X (otevře se v nové záložce)Aderyn na GitHub (otevře se v nové záložce)

Zobrazit další

ItyFuzz

O Aderyn

Aderyn je open-source statický analyzátor chytrých kontraktů v Solidity od Cyfrin, založený na jazyce Rust, navržený tak, aby pomohl inženýrům protokolů a bezpečnostním výzkumníkům najít zranitelnosti v kódových základnách v Solidity.

Štítky

  • CLI
  • Bezpečnost
  • Vzdělávání
  • Solidity
  • Statická analýza
  • Rozšíření pro VSCode
  • Řízeno komunitou

RepozitářCyfrin

Informace

Typ
Fuzz/Property testování
Hvězdičky na GitHubu
805
Licence
GPL-3.0
Záznam zkontrolován
červen 2026

Podobné nástroje

Chimera

Chimera

Chimera je framework pro psaní testů v Solidity ve foundry a možnost jejich opětovného použití s dalšími open-source nástroji, jako jsou Echidna, Medusa, Halmos a Kontrol

Slither
CROPS Native

Slither

Slither je engine pro statickou analýzu v Pythonu od Trail of Bits pro Solidity a Vyper: spouštějte jej v CI pro aktivaci detektorů, tisk strukturálních pohledů na kontrakty nebo skriptování vlastních kontrol nad celými kódovými základnami.

Echidna
CROPS Native

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.