Bezpečnost a testování

hevm

Fuzz/Property testování

Zobrazit na GitHubu

Zobrazit další

Crytic-Properties

O hevm

hevm je open-source, špičkový a rychlý engine pro symbolické a konkrétní provádění EVM, který dokáže najít problémy v chytrých kontraktech. Prostřednictvím svého systému symbolického provádění a analýzy může hevm symbolicky, polokonkrétně nebo konkrétně provádět kontrakty za účelem nalezení chyb, nebo porovnat dva různé kontrakty a hledat nesrovnalosti prováděním kontroly ekvivalence.

Štítky

CLI
Foundry
Bezpečnost
Symbolická exekuce

Repozitářethereum

hevm362 (otevře se v nové záložce)

Informace

Typ: Fuzz/Property testování
Hvězdičky na GitHubu: 362
Licence: AGPL-3.0
Záznam zkontrolován: červen 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.

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.