Echidna

Fuzz/Property testování

Zobrazit na GitHubu

Zobrazit další

Synpress

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

Štítky

Fuzz testování
Testování
Bezpečnost

Repozitářcrytic

echidna3,2 tis. (otevře se v nové záložce)

Informace

Typ: Fuzz/Property testování
Hvězdičky na GitHubu: 3,2 tis.
Licence: AGPL-3.0
Záznam zkontrolován: září 2026

Podobné nástroje

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

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.

Medusa

Medusa je stavový fuzzer chytrých kontraktů inspirovaný nástrojem Echidna. Poskytuje paralelizované fuzz testování chytrých kontraktů a ověřování pokročilých invariantů chytrých kontraktů.